Skip to content
SAWScript

Add mrsolver tactic, remove old MRSolver interface #2821

Sign in to view logs

Add mrsolver tactic, remove old MRSolver interface

Add mrsolver tactic, remove old MRSolver interface #2821

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)
31m 19s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
24m 54s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
10m 57s
build (macos-12, 3.10.1.0, 8.10.7, true)
43m 15s
build (macos-12, 3.10.1.0, 9.2.7, true)
29m 27s
build (macos-12, 3.10.1.0, 9.4.4, true)
33m 14s
build (windows-2019, 3.10.1.0, 8.10.7, true)
36m 1s
build (windows-2019, 3.10.1.0, 9.2.7, true)
25m 1s
build (windows-2019, 3.10.1.0, 9.4.4, true)
13m 12s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
43m 43s
build-push-image
0s
mr-solver-tests (ubuntu-22.04)
36s
mr-solver-tests (macos-12)
59s
heapster-tests (ubuntu-22.04)
2h 14m 16s
heapster-tests (macos-12)
2h 17m 46s
cabal-test (integration_tests, ubuntu-22.04, false)
15m 2s
cabal-test (test-sawcore, ubuntu-22.04, false)
56s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
50s
cabal-test (prover_tests, ubuntu-22.04, false)
32s
cabal-test (integration_tests, macos-12, true)
19m 59s
cabal-test (integration_tests, windows-2019, true, 60)
19m 14s
Test SAW exercises (8.10.7)
4m 16s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 58s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
2m 13s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
46s
Test s2n proofs (hmac, 8.10.7)
9m 25s
Test s2n proofs (drbg, 8.10.7)
4m 9s
Test s2n proofs (sike, 8.10.7)
7m 29s
Test s2n proofs (bike, 8.10.7)
10m 35s
Test s2n proofs (tls, 8.10.7)
11m 11s
Test s2n proofs (hmac-failure, 8.10.7)
5m 38s
Test s2n proofs (awslc, 8.10.7)
1h 31m 25s
Test s2n proofs (blst, 8.10.7)
25m 12s
mergify
1s
13h 15m 38s