Skip to content
Format Check

Update Kani version to 0.36.0 #76

Sign in to view logs

Update Kani version to 0.36.0

Update Kani version to 0.36.0 #76

Run time

Learn about OS pricing on GitHub Actions
Job Run time
format-check
6s
6s