ci: temporary source artifact relay - #2

Draft

o8vm wants to merge 7 commits into

mainfrom

artifact-download-relay-20260823

Commits on Aug 23, 2026

ci: trigger temporary source artifact relay
o8vm
committed
4416248
ci: validate destructive official Sail cutover v0.4.6
o8vm
committed
37e101c
ci: add local manifest before Lean setup
o8vm
committed
88160de
ci: generate official Sail executable Lean model v0.4.7
o8vm
committed
0602270
ci: expose executable-only Sail generation in PR checks
o8vm
committed
cd1c2b5
ci: package Lean 4.29 for Sail cutover validation
o8vm
committed
78ae739
ci: split Lean 4.29 toolchain into downloadable parts
o8vm
committed
bea6a69