Skip to content

Fixes for minor regressions on main#3844

Merged
unp1 merged 3 commits into
mainfrom
bubel/minor-regression-fixes
Jun 19, 2026
Merged

Fixes for minor regressions on main#3844
unp1 merged 3 commits into
mainfrom
bubel/minor-regression-fixes

Show a proof macro's aggregate statistics in the status line

cb6bdc8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
checkerFramework
succeeded Jun 18, 2026 in 2m 6s