Skip to content
Run Backend CI

Consistency checks to forbid inhale-exhale-assertions in function preconditions and predicate bodies #752

Sign in to view logs

Consistency checks to forbid inhale-exhale-assertions in function preconditions and predicate bodies

Consistency checks to forbid inhale-exhale-assertions in function preconditions and predicate bodies #752

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run_ci (silicon)
12m 3s
run_ci (carbon)
19m 12s
31m 15s