Skip to content
SAWScript

SAWScript #3121

Sign in to view logs

SAWScript

SAWScript #3121

Run time

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