Skip to content
SAWScript

SAWScript #3324

Sign in to view logs

SAWScript

SAWScript #3324

Run time

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