Skip to content

Roll pinned Rust toolchain automatically#1099

Open
joshlf wants to merge 1 commit into
AeneasVerif:mainfrom
joshlf:roll-rustc
Open

Roll pinned Rust toolchain automatically#1099
joshlf wants to merge 1 commit into
AeneasVerif:mainfrom
joshlf:roll-rustc

Roll pinned Rust toolchain automatically

a883ef5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.