Skip to content
Kani Format Check

Verify contracts on methods where the base type has multiple inherent… #170

Sign in to view logs

Verify contracts on methods where the base type has multiple inherent…

Verify contracts on methods where the base type has multiple inherent… #170

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy-check
8m 3s
format-check
17s
8m 20s