Skip to content
SAWScript

SAWScript #2818

Sign in to view logs

SAWScript

SAWScript #2818

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 15s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
26m 52s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
6m 59s
build (macos-12, 3.10.1.0, 8.10.7, true)
47m 18s
build (macos-12, 3.10.1.0, 9.2.7, true)
25m 52s
build (macos-12, 3.10.1.0, 9.4.4, true)
16m 42s
build (windows-2019, 3.10.1.0, 8.10.7, true)
53m 57s
build (windows-2019, 3.10.1.0, 9.2.7, true)
21m 40s
build (windows-2019, 3.10.1.0, 9.4.4, true)
8m 29s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
31m 32s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
1h 12m 42s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
1h 11m 12s
mr-solver-tests (ubuntu-22.04)
58s
mr-solver-tests (macos-12)
1m 3s
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 25s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
1m 2s
heapster-tests (ubuntu-22.04)
10m 53s
heapster-tests (macos-12)
7m 58s
cabal-test (integration_tests, ubuntu-22.04, false)
15m 21s
cabal-test (test-sawcore, ubuntu-22.04, false)
1m 10s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
47s
cabal-test (prover_tests, ubuntu-22.04, false)
46s
cabal-test (integration_tests, macos-12, true)
21m 13s
cabal-test (integration_tests, windows-2019, true, 60)
23m 29s
Test SAW exercises (8.10.7)
3m 27s
Test s2n proofs (hmac, 8.10.7)
11m 36s
Test s2n proofs (drbg, 8.10.7)
4m 15s
Test s2n proofs (sike, 8.10.7)
7m 35s
Test s2n proofs (bike, 8.10.7)
9m 28s
Test s2n proofs (tls, 8.10.7)
11m 36s
Test s2n proofs (hmac-failure, 8.10.7)
7m 49s
Test s2n proofs (awslc, 8.10.7)
2h 6m 45s
Test s2n proofs (blst, 8.10.7)
25m 22s
mergify
0s
11h 52m 42s