Skip to content
SAWScript

SAWScript #2767

Sign in to view logs

SAWScript

SAWScript #2767

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
9s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
34m 25s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
20m 13s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
5m 50s
build (macos-12, 3.10.1.0, 8.10.7, true)
39m 7s
build (macos-12, 3.10.1.0, 9.2.7, true)
24m 10s
build (macos-12, 3.10.1.0, 9.4.4, true)
10m 19s
build (windows-2019, 3.10.1.0, 8.10.7, true)
36m 53s
build (windows-2019, 3.10.1.0, 9.2.7, true)
27m 59s
build (windows-2019, 3.10.1.0, 9.4.4, true)
8m 56s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
33m 40s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
1m 29s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
2m 49s
mr-solver-tests (ubuntu-22.04)
34s
mr-solver-tests (macos-12)
1m 9s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 56s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
1m 53s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
57s
heapster-tests (ubuntu-22.04)
2h 15m 54s
heapster-tests (macos-12)
2h 13m 45s
cabal-test (integration_tests, ubuntu-22.04, false)
18m 39s
cabal-test (test-sawcore, ubuntu-22.04, false)
40s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
44s
cabal-test (prover_tests, ubuntu-22.04, false)
44s
cabal-test (integration_tests, macos-12, true)
21m 3s
cabal-test (integration_tests, windows-2019, true, 60)
19m 37s
Test SAW exercises (8.10.7)
3m 38s
Test s2n proofs (hmac, 8.10.7)
9m 54s
Test s2n proofs (drbg, 8.10.7)
4m 32s
Test s2n proofs (sike, 8.10.7)
6m 9s
Test s2n proofs (bike, 8.10.7)
9m 58s
Test s2n proofs (tls, 8.10.7)
9m 51s
Test s2n proofs (hmac-failure, 8.10.7)
8m 0s
Test s2n proofs (awslc, 8.10.7)
1h 19m 30s
Test s2n proofs (blst, 8.10.7)
20m 20s
mergify
2s
12h 15m 28s