Skip to content
SAWScript

Add composition support to prove_bisim (#1972) #3147

Sign in to view logs

Add composition support to prove_bisim (#1972)

Add composition support to prove_bisim (#1972) #3147

Run time

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