Skip to content
SAWScript

SAWScript #2747

Sign in to view logs

SAWScript

SAWScript #2747

Run time

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