Skip to content
SAWScript

SAWScript #3326

Sign in to view logs

SAWScript

SAWScript #3326

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
8s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
17m 57s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
8m 38s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
1m 29s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
4m 47s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
2m 18s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
34m 8s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
7m 34s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
5m 33s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
19m 28s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
7m 22s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
6m 58s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
17m 1s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
5m 28s
heapster-tests (ubuntu-22.04)
18m 27s
mr-solver-tests (ubuntu-22.04)
34s
heapster-tests (macos-12)
29m 28s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 12s
mr-solver-tests (macos-12)
1m 10s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 55s
cabal-test (integration_tests, ubuntu-22.04, false)
10m 43s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
39s
cabal-test (test-sawcore, ubuntu-22.04, false)
45s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
33s
Test SAW exercises (9.2.8)
2m 32s
cabal-test (prover_tests, ubuntu-22.04, false)
34s
Run integration tests with coverage reporting
0s
cabal-test (integration_tests, macos-12, true)
19m 50s
Test s2n proofs (hmac, 9.2.8)
6m 22s
cabal-test (integration_tests, windows-2019, true, 60)
15m 38s
Test s2n proofs (drbg, 9.2.8)
3m 57s
Test s2n proofs (sike, 9.2.8)
4m 52s
Test s2n proofs (bike, 9.2.8)
7m 19s
Test s2n proofs (tls, 9.2.8)
3m 51s
Test s2n proofs (hmac-failure, 9.2.8)
4m 2s
Test s2n proofs (awslc, 9.2.8)
25m 23s
Test s2n proofs (blst, 9.2.8)
9m 16s
mergify
1s
5h 8m 52s