Skip to content
Kani Format Check

Move standard-library metrics script to verify-rust-std repo (#3914) #9681

Sign in to view logs

Move standard-library metrics script to verify-rust-std repo (#3914)

Move standard-library metrics script to verify-rust-std repo (#3914) #9681

format-check

format-check
succeeded Mar 4, 2025 in 7s