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

Merged

tautschnig merged 16 commits into

model-checking:mainfrom

feliperodri:fix-toolchain-2025-12-04

Jul 7, 2026

Commits on May 14, 2026

Upgrade Rust toolchain to nightly-2025-12-04

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

Commits on Jul 2, 2026

Merge remote-tracking branch 'origin/main' into fix-toolchain-2025-12-04
tautschnig
committed
21584c6

Commits on Jul 6, 2026

Add regression test for chunks_exact over a symbolic-index split

tautschnig
and
kiro-agent
committed
dcb8ee5
Fix compiletest --timeout deadlock that hung every perf test

tautschnig
and
kiro-agent
committed
beb46a7
ci(perf): Raise per-test timeout to 1200s to fit whole-crate s2n-quic tests

tautschnig
and
kiro-agent
committed
dbc2784

Commits on Jul 7, 2026

ci(perf): Raise per-test timeout to 2400s for s2n-quic-core

tautschnig
and
kiro-agent
committed
9debc35
Merge remote-tracking branch 'origin/main' into fix-toolchain-2025-12-04
tautschnig
committed
3ec31f2