Skip to content
SAWScript

Use solver result caching in CI #2807

Sign in to view logs

Use solver result caching in CI

Use solver result caching in CI #2807

Run time

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