Skip to content

fix: indent #guard_msgs code action to match command indentation#13947

Open
rdavison wants to merge 1 commit into
leanprover:masterfrom
rdavison:fix-guard-msgs-codeaction-indent
Open

fix: indent #guard_msgs code action to match command indentation#13947
rdavison wants to merge 1 commit into
leanprover:masterfrom
rdavison:fix-guard-msgs-codeaction-indent

fix: indent `#guard_msgs` code action to match command indentation

198203c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-awaiting-mathlib
succeeded Jun 3, 2026 in 4s