Skip to content
SAWScript

SAWScript #2774

Sign in to view logs

SAWScript

SAWScript #2774

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)
31m 30s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
22m 5s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
6m 51s
build (macos-12, 3.10.1.0, 8.10.7, true)
46m 52s
build (macos-12, 3.10.1.0, 9.2.7, true)
25m 58s
build (macos-12, 3.10.1.0, 9.4.4, true)
12m 40s
build (windows-2019, 3.10.1.0, 8.10.7, true)
36m 5s
build (windows-2019, 3.10.1.0, 9.2.7, true)
21m 25s
build (windows-2019, 3.10.1.0, 9.4.4, true)
7m 31s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
44m 56s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
1m 36s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
3m 25s
mr-solver-tests (ubuntu-22.04)
38s
mr-solver-tests (macos-12)
1m 13s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 50s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
2m 6s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
1m 3s
heapster-tests (ubuntu-22.04)
2h 30m 32s
heapster-tests (macos-12)
2h 12m 31s
Test SAW exercises (8.10.7)
2m 57s
cabal-test (integration_tests, ubuntu-22.04, false)
19m 17s
cabal-test (test-sawcore, ubuntu-22.04, false)
54s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
33s
cabal-test (prover_tests, ubuntu-22.04, false)
31s
cabal-test (integration_tests, macos-12, true)
19m 21s
cabal-test (integration_tests, windows-2019, true, 60)
20m 56s
Test s2n proofs (hmac, 8.10.7)
11m 26s
Test s2n proofs (drbg, 8.10.7)
4m 24s
Test s2n proofs (sike, 8.10.7)
6m 1s
Test s2n proofs (bike, 8.10.7)
11m 35s
Test s2n proofs (tls, 8.10.7)
11m 59s
Test s2n proofs (hmac-failure, 8.10.7)
6m 0s
Test s2n proofs (awslc, 8.10.7)
1h 37m 15s
Test s2n proofs (blst, 8.10.7)
19m 1s
mergify
0s
13h 3m 4s