Skip to content
SAWScript

SAWScript #3236

Sign in to view logs

SAWScript

SAWScript #3236

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
8s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
57s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
17m 54s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
2m 20s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
4m 37s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
3m 3s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
26m 33s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
5m 17s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
7m 31s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
20m 34s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
7m 9s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
7m 33s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
17m 0s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
9m 7s
mr-solver-tests (ubuntu-22.04)
46s
mr-solver-tests (macos-12)
1m 4s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 1s
heapster-tests (ubuntu-22.04)
18m 58s
cabal-test (integration_tests, ubuntu-22.04, false)
10m 1s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 37s
heapster-tests (macos-12)
28m 21s
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)
52s
Run integration tests with coverage reporting
0s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
44s
cabal-test (prover_tests, ubuntu-22.04, false)
25s
Test SAW exercises (9.2.8)
2m 25s
cabal-test (integration_tests, macos-12, true)
18m 11s
cabal-test (integration_tests, windows-2019, true, 60)
16m 3s
Test s2n proofs (hmac, 9.2.8)
6m 20s
Test s2n proofs (drbg, 9.2.8)
3m 28s
Test s2n proofs (sike, 9.2.8)
4m 39s
Test s2n proofs (bike, 9.2.8)
7m 18s
Test s2n proofs (tls, 9.2.8)
3m 35s
Test s2n proofs (hmac-failure, 9.2.8)
4m 41s
Test s2n proofs (awslc, 9.2.8)
30m 55s
Test s2n proofs (blst, 9.2.8)
9m 44s
mergify
1s
5h 2m 32s