Skip to content

ci: free up runner disk space before build - #13

Merged
kim-em merged 9 commits into
mainfrom
ci/free-disk-space
Apr 17, 2026
Merged

ci: free up runner disk space before build#13
kim-em merged 9 commits into
mainfrom
ci/free-disk-space

fix(generator): use last := by when extracting theorem statements

cbf8ce6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar