Skip to content
SAWScript

SAWScript #3179

Sign in to view logs

SAWScript

SAWScript #3179

Run time

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