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

Merged

kim-em merged 9 commits into

mainfrom

ci/free-disk-space

Apr 17, 2026

Commits on Apr 16, 2026

ci: free up runner disk space before build

kim-em
and
claude
committed
bb3751d
chore(generated): regenerate workspaces

kim-em
and
claude
committed
ce5f7f5
fix(scripts): place workflow-check tempdir under REPO_ROOT

kim-em
and
claude
committed
5a321d0

Commits on Apr 17, 2026

fix(generator): emit open for enclosing namespaces in Challenge.lean

kim-em
and
claude
committed
714b4f5
ci: reduce CI cost with three optimizations

kim-em
and
claude
committed
d2d589b
Merge remote-tracking branch 'origin/main' into ci/free-disk-space
kim-em
committed
2f39afb
chore(generated): regenerate after merging main

kim-em
and
claude
committed
e2bb426
Merge remote-tracking branch 'origin/main' into ci/free-disk-space
kim-em
committed
2569486
fix(generator): use last := by when extracting theorem statements

kim-em
and
claude
committed
cbf8ce6