Skip to content

Lean runtime guard: observe the exact release and clean locked dependencies before the first and after the last Lean run on every path - #455

Merged
d6g8k5htny-coder merged 8 commits into
mainfrom
claude/lean-runtime-guard-20261013
Oct 14, 2026
Merged

Lean runtime guard: observe the exact release and clean locked dependencies before the first and after the last Lean run on every path#455
d6g8k5htny-coder merged 8 commits into
mainfrom
claude/lean-runtime-guard-20261013

Merge current Math- main into reviewed Lean runtime guard candidate

d46dac4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar