Skip to content
CI

Prove GCD and merge sort termination with total weakest preconditions #493

Sign in to view logs

Prove GCD and merge sort termination with total weakest preconditions

Prove GCD and merge sort termination with total weakest preconditions #493

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build CodeLib proofs
23m 31s
Build program proofs
27m 47s
Smoke test
1m 11s
52m 29s