Skip to content
SAWScript

Solver result caching #2763

Sign in to view logs

Solver result caching

Solver result caching #2763

Run time

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