Skip to content
SAWScript

Solver result caching #2756

Sign in to view logs

Solver result caching

Solver result caching #2756

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