Skip to content
SAWScript

SAWScript #3309

Sign in to view logs

SAWScript

SAWScript #3309

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)
18m 23s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
1m 8s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
4m 31s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
2m 48s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
4m 49s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
23m 26s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
4m 49s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
5m 29s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
20m 56s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
12m 50s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
6m 46s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
16m 57s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
9m 22s
heapster-tests (ubuntu-22.04)
18m 18s
heapster-tests (macos-12)
44m 11s
mr-solver-tests (ubuntu-22.04)
51s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 49s
mr-solver-tests (macos-12)
47s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 44s
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)
36s
cabal-test (test-sawcore, ubuntu-22.04, false)
1m 2s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
30s
Run integration tests with coverage reporting
0s
cabal-test (prover_tests, ubuntu-22.04, false)
53s
Test SAW exercises (9.2.8)
2m 37s
cabal-test (integration_tests, macos-12, true)
22m 48s
Test s2n proofs (hmac, 9.2.8)
6m 31s
cabal-test (integration_tests, windows-2019, true, 60)
16m 12s
Test s2n proofs (drbg, 9.2.8)
3m 29s
Test s2n proofs (sike, 9.2.8)
4m 49s
Test s2n proofs (bike, 9.2.8)
7m 14s
Test s2n proofs (tls, 9.2.8)
3m 52s
Test s2n proofs (hmac-failure, 9.2.8)
4m 1s
Test s2n proofs (awslc, 9.2.8)
26m 28s
Test s2n proofs (blst, 9.2.8)
8m 58s
mergify
1s
5h 20m 45s