Skip to content
Kani Format Check

Update build command in docs to use release mode (#3846) #9392

Sign in to view logs

Update build command in docs to use release mode (#3846)

Update build command in docs to use release mode (#3846) #9392

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy-check
3m 7s
format-check
5s
3m 12s