Skip to content

feat: show diffs when #guard_msgs fails#3912

Merged
david-christiansen merged 5 commits intoleanprover:masterfrom david-christiansen:guard_msgs-diffApr 18, 2024