Skip to content
SAWScript

SAWScript #3220

Sign in to view logs

SAWScript

SAWScript #3220

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
10s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
17m 1s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
59s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
4m 21s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
2m 17s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
2m 56s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
29m 22s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
6m 6s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
4m 55s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
19m 45s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
8m 42s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
8m 1s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
17m 50s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
9m 59s
mr-solver-tests (ubuntu-22.04)
45s
mr-solver-tests (macos-12)
1m 15s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 54s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 37s
cabal-test (integration_tests, ubuntu-22.04, false)
9m 53s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
42s
Run integration tests with coverage reporting
0s
cabal-test (test-sawcore, ubuntu-22.04, false)
35s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
32s
Test SAW exercises (9.2.8)
2m 21s
cabal-test (prover_tests, ubuntu-22.04, false)
28s
heapster-tests (ubuntu-22.04)
18m 29s
cabal-test (integration_tests, macos-12, true)
20m 21s
heapster-tests (macos-12)
36m 15s
Test s2n proofs (hmac, 9.2.8)
6m 22s
cabal-test (integration_tests, windows-2019, true, 60)
15m 32s
Test s2n proofs (drbg, 9.2.8)
3m 32s
Test s2n proofs (sike, 9.2.8)
4m 36s
Test s2n proofs (bike, 9.2.8)
7m 43s
Test s2n proofs (tls, 9.2.8)
3m 36s
Test s2n proofs (hmac-failure, 9.2.8)
4m 26s
Test s2n proofs (awslc, 9.2.8)
26m 1s
Test s2n proofs (blst, 9.2.8)
9m 35s
mergify
1s
5h 8m 55s