Repository navigation

ci(agda): pin the Agda proofs job to ubuntu-24.04 #1492

Job	Run time
rust-ci / Detect Cargo.toml	33s
rust-ci / llvm-cov line coverage	-1s
rust-ci / Cargo check + clippy + fmt	-1s
rust-ci / Cargo audit (security)	-1s
rust-ci / Cargo test	0s
	30s