Skip to content
CI

Add liveness to safety construction for supporting temporal proofs #693

Sign in to view logs

Add liveness to safety construction for supporting temporal proofs

Add liveness to safety construction for supporting temporal proofs #693

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and test (stable, ubuntu-latest)
3m 41s
Build and test (nightly, ubuntu-latest)
6m 44s
10m 25s