ci: one job for the source gates, and caching that is not a net loss - #1857

Merged

tato123 merged 3 commits into

mainfrom

ci/consolidate-gates-and-fix-caching

Aug 12, 2026

Commits on Aug 12, 2026

ci: one job for the source gates, and caching that is not a net loss

tato123
and
claude
committed
878deb6
ci: keep incremental compilation on locally, and run the gates in release

tato123
and
claude
committed
25a73f8
ci: harden the licence gate and stop persisting checkout credentials

tato123
and
claude
committed
9eefef1