Skip to content
Kani Format Check

Create workflow Kani Extra for checks that run conditionally on labels #5398

Sign in to view logs

Create workflow Kani Extra for checks that run conditionally on labels

Create workflow Kani Extra for checks that run conditionally on labels #5398

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy-check
4m 42s
format-check
8s
4m 50s