Repository navigation

Optimize CI - #5107

Merged

djc merged 6 commits into

mainfrom

Sep 25, 2026

Commits on Sep 25, 2026

ci: key the target-dir cache on the rustc actually used
djc
committed
2aa5307
ci: let PR builds restore the target-dir cache from the base branch
djc
committed
b091afd
ci: only build cross-compiled targets in release mode
djc
committed
e847f32
ci: run clippy on a single Windows target
djc
committed
641aa3b
ci: cancel superseded pull request runs
djc
committed
3ef7e8b
ci: skip the standalone binary build when running tests
djc
committed
8a9897f