Upgrade Rust toolchain to nightly-2025-12-04#4597

Draft

feliperodri wants to merge 10 commits into

model-checking:mainfrom

feliperodri:fix-toolchain-2025-12-04

Commits on May 14, 2026

Upgrade Rust toolchain to nightly-2025-12-04

celinval
authored and
feliperodri
committed
ci(perf): Bound per-test wall time in kani-perf.sh
feliperodri
committed
ci(perf): Add timeout and retry to kani-perf workflow job
feliperodri
committed
test(perf): Reduce s2n-quic-core checksum test bolero LEN to 8
feliperodri
committed
test(perf): Lower differential harness unwind from 17 to 9
feliperodri
committed
ci(fmt): Exclude tests/perf/overlays from rustfmt sweep
feliperodri
committed
ci(copyright): Use Kani header on s2n-quic-core checksum overlay
feliperodri
committed
ci(perf): Lower per-test timeout default from 1800s to 600s
feliperodri
committed
chore(compiler): Gate debug-only dump_* methods on cfg(debug_assertions)
feliperodri
committed
ci(perf): Raise perf-job timeout budgets to fit the suite
feliperodri
committed