Skip to content
SAWScript

SAWScript #3246

Sign in to view logs

SAWScript

SAWScript #3246

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