Skip to content

fix(client): show the progress saving notice once in the info popup - #565

Merged
joneugster merged 1 commit into
leanprover-community:mainfrom
fushanbobfan:fix/info-popup-duplicate-notice
Oct 4, 2026
Merged

fix(client): show the progress saving notice once in the info popup#565
joneugster merged 1 commit into
leanprover-community:mainfrom
fushanbobfan:fix/info-popup-duplicate-notice

fix(client): show the progress saving notice once in the info popup

efbeab4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs