Skip to content
SAWScript

SAWScript #2769

Sign in to view logs

SAWScript

SAWScript #2769

Run time

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