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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
format-check
7s
clippy-check
2m 8s
2m 15s