Skip to content
SAWScript

SAWScript #2853

Sign in to view logs

SAWScript

SAWScript #2853

Run time

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