Skip to content
SAWScript

Use solver result caching in CI #2822

Sign in to view logs

Use solver result caching in CI

Use solver result caching in CI #2822

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