Skip to content
SAWScript

SAWScript #2809

Sign in to view logs

SAWScript

SAWScript #2809

Run time

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