Skip to content
SAWScript

Add composition support to prove_bisim #3144

Sign in to view logs

Add composition support to prove_bisim

Add composition support to prove_bisim #3144

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
9s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)
36m 53s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
23m 21s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
4m 43s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
39m 13s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
30m 16s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
11m 6s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
18m 20s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
6m 0s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
16m 36s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
9m 32s
mr-solver-tests (ubuntu-22.04)
37s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 19s
mr-solver-tests (macos-12)
1m 13s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 27s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
42s
heapster-tests (ubuntu-22.04)
39m 37s
heapster-tests (macos-12)
40m 43s
cabal-test (integration_tests, ubuntu-22.04, false)
11m 33s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
17m 3s
cabal-test (test-sawcore, ubuntu-22.04, false)
39s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
42s
Test SAW exercises (9.2.7)
2m 18s
cabal-test (prover_tests, ubuntu-22.04, false)
48s
cabal-test (integration_tests, macos-12, true)
14m 38s
cabal-test (integration_tests, windows-2019, true, 60)
21m 1s
Test s2n proofs (hmac, 9.2.7)
9m 55s
Test s2n proofs (drbg, 9.2.7)
3m 45s
Test s2n proofs (sike, 9.2.7)
5m 56s
Test s2n proofs (bike, 9.2.7)
10m 4s
Test s2n proofs (tls, 9.2.7)
3m 55s
Test s2n proofs (hmac-failure, 9.2.7)
4m 8s
Test s2n proofs (awslc, 9.2.7)
35m 22s
Test s2n proofs (blst, 9.2.7)
9m 6s
mergify
1s
7h 13m 41s