Files
rust/src/ci/citool
2026-03-30 19:44:35 -07:00
..
2026-03-12 09:05:44 +01:00
2026-02-06 20:19:10 +01:00
2026-03-30 19:44:35 -07:00
2026-03-30 19:44:35 -07:00
2025-02-17 12:27:20 +01:00

CI tooling

This is a simple Rust script that determines which jobs should be executed on CI based on the situation (pull request, try job, merge attempt). It also provides a simple way of executing (some) CI jobs locally.