Skip to content
SAWScript

SAWScript #3122

Sign in to view logs

SAWScript

SAWScript #3122

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
8s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
1m 27s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
3m 13s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)
33m 49s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
30m 33s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
10m 33s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
38m 39s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
23m 2s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
8m 56s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
27m 13s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
10m 10s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
25m 5s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
6m 49s
mr-solver-tests (ubuntu-22.04)
55s
mr-solver-tests (macos-12)
1m 13s
heapster-tests (ubuntu-22.04)
36m 13s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 26s
heapster-tests (macos-12)
41m 16s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
1m 51s
cabal-test (integration_tests, ubuntu-22.04, false)
10m 47s
cabal-test (test-sawcore, ubuntu-22.04, false)
59s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
51s
Run integration tests with coverage reporting
0s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
53s
cabal-test (prover_tests, ubuntu-22.04, false)
30s
Test SAW exercises (9.2.7)
3m 50s
cabal-test (integration_tests, macos-12, true)
24m 43s
cabal-test (integration_tests, windows-2019, true, 60)
21m 24s
Test s2n proofs (hmac, 9.2.7)
8m 12s
Test s2n proofs (drbg, 9.2.7)
5m 25s
Test s2n proofs (sike, 9.2.7)
7m 15s
Test s2n proofs (bike, 9.2.7)
11m 14s
Test s2n proofs (tls, 9.2.7)
4m 44s
Test s2n proofs (hmac-failure, 9.2.7)
5m 7s
Test s2n proofs (awslc, 9.2.7)
41m 28s
Test s2n proofs (blst, 9.2.7)
12m 33s
mergify
0s
7h 42m 26s