Skip to content
SAWScript

Add composition support to prove_bisim #3142

Sign in to view logs

Add composition support to prove_bisim

Add composition support to prove_bisim #3142

Run time

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