Skip to content
SAWScript

SAWScript #3241

Sign in to view logs

SAWScript

SAWScript #3241

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 18s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
16m 43s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
3m 8s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
5m 13s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
3m 48s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
23m 22s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
7m 7s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
6m 30s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
19m 26s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
7m 5s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
7m 23s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
16m 52s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
8m 47s
heapster-tests (ubuntu-22.04)
17m 55s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 44s
heapster-tests (macos-12)
26m 22s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 31s
cabal-test (integration_tests, ubuntu-22.04, false)
9m 55s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
40s
cabal-test (test-sawcore, ubuntu-22.04, false)
55s
Run integration tests with coverage reporting
0s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
29s
cabal-test (prover_tests, ubuntu-22.04, false)
26s
Test SAW exercises (9.2.8)
2m 29s
cabal-test (integration_tests, macos-12, true)
17m 48s
mr-solver-tests (ubuntu-22.04)
26s
cabal-test (integration_tests, windows-2019, true, 60)
15m 31s
mr-solver-tests (macos-12)
1m 0s
Test s2n proofs (hmac, 9.2.8)
6m 31s
Test s2n proofs (drbg, 9.2.8)
3m 36s
Test s2n proofs (sike, 9.2.8)
4m 44s
Test s2n proofs (bike, 9.2.8)
7m 18s
Test s2n proofs (tls, 9.2.8)
3m 43s
Test s2n proofs (hmac-failure, 9.2.8)
4m 9s
Test s2n proofs (awslc, 9.2.8)
25m 11s
Test s2n proofs (blst, 9.2.8)
9m 4s
mergify
1s
4h 48m 17s