Repository navigation

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

Commits on Oct 15, 2026
- CI: run Lean gates on push to main and weekly; keep spec receipts 90 days
  
  cursoragent
  and
  d6g8k5htny-coder
  committed
  98b72ff
Commits on Oct 22, 2026
- Drop weekly schedule triggers; keep push-to-main and 90-day retention (GTW 6203987094)
  
  agent10
  authored and
  cursoragent
  committed
  04268d2
- Merge main into agent10/ci-triggers-b6 (refresh, no force)
  
  cursoragent
  and
  d6g8k5htny-coder
  committed
  ecb12a5
Commits on Oct 25, 2026
- Refresh Lean push-evidence workflows on current main
  d6g8k5htny-coder
  committed
  6375d5b
- Refresh Lean push-evidence workflows on latest main
  d6g8k5htny-coder
  committed
  dd40d0d