Skip to content
SAWScript

SAWScript #2697

Sign in to view logs

SAWScript

SAWScript #2697

Run time

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