Skip to content
SAWScript

Add mrsolver tactic, remove old MRSolver interface #2804

Sign in to view logs

Add mrsolver tactic, remove old MRSolver interface

Add mrsolver tactic, remove old MRSolver interface #2804

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
9s
config
9s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
37m 37s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
37m 37s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
23m 46s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
23m 46s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
9m 5s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
9m 5s
build (macos-12, 3.10.1.0, 8.10.7, true)
44m 45s
build (macos-12, 3.10.1.0, 8.10.7, true)
44m 45s
build (macos-12, 3.10.1.0, 9.2.7, true)
25m 10s
build (macos-12, 3.10.1.0, 9.2.7, true)
25m 10s
build (macos-12, 3.10.1.0, 9.4.4, true)
16m 23s
build (macos-12, 3.10.1.0, 9.4.4, true)
16m 23s
build (windows-2019, 3.10.1.0, 8.10.7, true)
41m 43s
build (windows-2019, 3.10.1.0, 8.10.7, true)
41m 43s
build (windows-2019, 3.10.1.0, 9.2.7, true)
31m 15s
build (windows-2019, 3.10.1.0, 9.2.7, true)
31m 15s
build (windows-2019, 3.10.1.0, 9.4.4, true)
11m 40s
build (windows-2019, 3.10.1.0, 9.4.4, true)
11m 40s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
31m 54s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
31m 54s
build-push-image
0s
build-push-image
0s
mr-solver-tests (ubuntu-22.04)
59s
mr-solver-tests (ubuntu-22.04)
59s
mr-solver-tests (macos-12)
53s
mr-solver-tests (macos-12)
53s
heapster-tests (ubuntu-22.04)
10m 56s
heapster-tests (ubuntu-22.04)
23m 1s
heapster-tests (macos-12)
9m 19s
heapster-tests (macos-12)
27m 23s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 8s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 8s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
1m 49s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
1m 49s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
43s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
43s
cabal-test (integration_tests, ubuntu-22.04, false)
17m 20s
cabal-test (integration_tests, ubuntu-22.04, false)
17m 20s
cabal-test (test-sawcore, ubuntu-22.04, false)
45s
cabal-test (test-sawcore, ubuntu-22.04, false)
45s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
34s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
34s
cabal-test (prover_tests, ubuntu-22.04, false)
56s
cabal-test (prover_tests, ubuntu-22.04, false)
56s
cabal-test (integration_tests, macos-12, true)
19m 43s
cabal-test (integration_tests, macos-12, true)
19m 43s
cabal-test (integration_tests, windows-2019, true, 60)
27m 58s
cabal-test (integration_tests, windows-2019, true, 60)
27m 58s
Test SAW exercises (8.10.7)
3m 45s
Test SAW exercises (8.10.7)
3m 45s
Test s2n proofs (hmac, 8.10.7)
11m 52s
Test s2n proofs (hmac, 8.10.7)
11m 52s
Test s2n proofs (drbg, 8.10.7)
4m 25s
Test s2n proofs (drbg, 8.10.7)
4m 25s
Test s2n proofs (sike, 8.10.7)
7m 21s
Test s2n proofs (sike, 8.10.7)
7m 21s
Test s2n proofs (bike, 8.10.7)
12m 54s
Test s2n proofs (bike, 8.10.7)
12m 54s
Test s2n proofs (tls, 8.10.7)
12m 35s
Test s2n proofs (tls, 8.10.7)
12m 35s
Test s2n proofs (hmac-failure, 8.10.7)
7m 2s
Test s2n proofs (hmac-failure, 8.10.7)
7m 2s
Test s2n proofs (awslc, 8.10.7)
1h 52m 43s
Test s2n proofs (awslc, 8.10.7)
1h 52m 43s
Test s2n proofs (blst, 8.10.7)
20m 58s
Test s2n proofs (blst, 8.10.7)
20m 58s
mergify
0s
mergify
0s
19h 12m 19s