Skip to content
SAWScript

SAWScript #3190

Sign in to view logs

SAWScript

SAWScript #3190

Run time

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