Skip to content
SAWScript

SAWScript #3269

Sign in to view logs

SAWScript

SAWScript #3269

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 20s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
17m 20s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
2m 55s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
4m 30s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
3m 5s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
25m 24s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
4m 52s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
9m 12s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
19m 12s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
4m 44s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
7m 44s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
16m 22s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
8m 33s
mr-solver-tests (ubuntu-22.04)
49s
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 39s
mr-solver-tests (macos-12)
1m 10s
heapster-tests (macos-12)
32m 10s
cabal-test (integration_tests, ubuntu-22.04, false)
9m 54s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 37s
cabal-test (test-sawcore, ubuntu-22.04, false)
37s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
45s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
51s
cabal-test (prover_tests, ubuntu-22.04, false)
51s
Test SAW exercises (9.2.8)
2m 28s
cabal-test (integration_tests, macos-12, true)
23m 10s
Run integration tests with coverage reporting
0s
cabal-test (integration_tests, windows-2019, true, 60)
15m 59s
Test s2n proofs (hmac, 9.2.8)
6m 27s
Test s2n proofs (drbg, 9.2.8)
3m 31s
Test s2n proofs (sike, 9.2.8)
4m 48s
Test s2n proofs (bike, 9.2.8)
7m 28s
Test s2n proofs (tls, 9.2.8)
4m 3s
Test s2n proofs (hmac-failure, 9.2.8)
4m 19s
Test s2n proofs (awslc, 9.2.8)
24m 54s
Test s2n proofs (blst, 9.2.8)
9m 46s
mergify
1s
5h 0m 35s