Skip to content

Bump rustc to 2026-02-19#1030

Merged
Nadrieril merged 6 commits intoAeneasVerif:mainfrom
soteria-tools:bump-rustc
Feb 24, 2026
Merged

Bump rustc to 2026-02-19#1030
Nadrieril merged 6 commits intoAeneasVerif:mainfrom
soteria-tools:bump-rustc

Commits

Commits on Feb 23, 2026

Commits on Feb 24, 2026