Skip to content
SAWScript

Solver result caching #2757

Sign in to view logs

Solver result caching

Solver result caching #2757

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 56s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
22m 9s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
11m 24s
build (macos-12, 3.10.1.0, 8.10.7, true)
47m 19s
build (macos-12, 3.10.1.0, 9.2.7, true)
28m 21s
build (macos-12, 3.10.1.0, 9.4.4, true)
12m 35s
build (windows-2019, 3.10.1.0, 8.10.7, true)
51m 14s
build (windows-2019, 3.10.1.0, 9.2.7, true)
23m 41s
build (windows-2019, 3.10.1.0, 9.4.4, true)
15m 4s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
30m 25s
build-push-image
0s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 3s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
1m 55s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
1m 0s
mr-solver-tests (ubuntu-22.04)
34s
mr-solver-tests (macos-12)
1m 2s
cabal-test (integration_tests, ubuntu-22.04, false)
19m 2s
cabal-test (test-sawcore, ubuntu-22.04, false)
40s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
34s
cabal-test (prover_tests, ubuntu-22.04, false)
43s
cabal-test (integration_tests, macos-12, true)
22m 25s
cabal-test (integration_tests, windows-2019, true, 60)
18m 40s
heapster-tests (ubuntu-22.04)
2h 0m 26s
heapster-tests (macos-12)
2h 16m 15s
Test SAW exercises (8.10.7)
3m 26s
Test s2n proofs (hmac, 8.10.7)
11m 31s
Test s2n proofs (drbg, 8.10.7)
5m 17s
Test s2n proofs (sike, 8.10.7)
6m 25s
Test s2n proofs (bike, 8.10.7)
9m 27s
Test s2n proofs (tls, 8.10.7)
11m 54s
Test s2n proofs (hmac-failure, 8.10.7)
6m 44s
Test s2n proofs (awslc, 8.10.7)
1h 26m 2s
Test s2n proofs (blst, 8.10.7)
30m 8s
mergify
0s
12h 49m 28s