ci: Fix sticky caches - #649

Merged

samuelburnham merged 8 commits into

mainfrom

sb/ci-sticky-cache

Sep 29, 2026

Commits on Sep 29, 2026

ci: run the CI jobs on pushes to main to warm the sticky disks
samuelburnham
committed
7409aab
merge-tests: share lean-test's sticky disk; dispatch !merge-tests on the PR branch
samuelburnham
committed
5eceb24
nix: run the Nix CI job on pushes to main to warm its sticky disk
samuelburnham
committed
4390b65
ci: build only on pushes to main
samuelburnham
committed
23fb135
ci: cache rustc outputs with sccache on the Rust jobs
samuelburnham
committed
e98ff51
nix: cache rustc outputs with sccache in the dev-shell build
samuelburnham
committed
b161266
bench: sticky disks and sccache for the benchmark builds; dispatch !benchmark on the PR branch
samuelburnham
committed
7cca29d
ci: clear RUSTC_WRAPPER for the cargo-deny container
samuelburnham
committed
e997138