Skip to content
Run Backend CI

Also checking postconditions for decreases clauses #469

Sign in to view logs

Also checking postconditions for decreases clauses

Also checking postconditions for decreases clauses #469

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run_ci (silicon)
14m 34s
run_ci (carbon)
25m 52s
40m 26s