Skip to content
Kani Format Check

Update Kani version to 0.39.0 #5363

Sign in to view logs

Update Kani version to 0.39.0

Update Kani version to 0.39.0 #5363

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy-check
4m 17s
format-check
7s
4m 24s