Skip to content
Clippy lints and Rustfmt

CI: Pin Kani version to v0.54.0 to avoid tests to stall #174

Sign in to view logs

CI: Pin Kani version to v0.54.0 to avoid tests to stall

CI: Pin Kani version to v0.54.0 to avoid tests to stall #174

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (stable)
19s
test (beta, --cfg beta_clippy)
15s
34s