Skip to content
Kani Format Check

Update build command in docs to use release mode #9376

Sign in to view logs

Update build command in docs to use release mode

Update build command in docs to use release mode #9376

Run time

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