Skip to content
SAWScript

SAWScript #3228

Sign in to view logs

SAWScript

SAWScript #3228

Run time

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