Skip to content

CI: run Lean gates on push to main; keep spec receipts 90 days - #463

Merged
d6g8k5htny-coder merged 5 commits into
mainfrom
agent10/ci-triggers-b6
Oct 25, 2026
Merged

CI: run Lean gates on push to main; keep spec receipts 90 days#463
d6g8k5htny-coder merged 5 commits into
mainfrom
agent10/ci-triggers-b6

Refresh Lean push-evidence workflows on latest main

dd40d0d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar