Skip to content
SAWScript

SAWScript #2737

Sign in to view logs

SAWScript

SAWScript #2737

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)
33m 39s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
19m 55s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
5m 41s
build (macos-12, 3.10.1.0, 8.10.7, true)
38m 7s
build (macos-12, 3.10.1.0, 9.2.7, true)
25m 44s
build (macos-12, 3.10.1.0, 9.4.4, true)
10m 14s
build (windows-2019, 3.10.1.0, 8.10.7, true)
38m 39s
build (windows-2019, 3.10.1.0, 9.2.7, true)
27m 0s
build (windows-2019, 3.10.1.0, 9.4.4, true)
7m 36s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
30m 51s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
1m 25s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
2m 31s
heapster-tests (ubuntu-22.04)
2h 40m 9s
heapster-tests (macos-12)
2h 20m 23s
mr-solver-tests (ubuntu-22.04)
43s
mr-solver-tests (macos-12)
1m 7s
Test s2n proofs (hmac, 8.10.7)
11m 43s
Test s2n proofs (drbg, 8.10.7)
4m 58s
Test s2n proofs (sike, 8.10.7)
7m 53s
Test s2n proofs (bike, 8.10.7)
10m 2s
Test s2n proofs (tls, 8.10.7)
10m 8s
Test s2n proofs (hmac-failure, 8.10.7)
6m 7s
Test s2n proofs (awslc, 8.10.7)
1h 13m 47s
Test s2n proofs (blst, 8.10.7)
18m 27s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 15s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
1m 55s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
42s
cabal-test (integration_tests, ubuntu-22.04, false)
13m 44s
cabal-test (test-sawcore, ubuntu-22.04, false)
1m 8s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
39s
cabal-test (prover_tests, ubuntu-22.04, false)
32s
cabal-test (integration_tests, macos-12, true)
18m 9s
cabal-test (integration_tests, windows-2019, true, 60)
17m 25s
Test SAW exercises (8.10.7)
3m 11s
mergify
1s
12h 26m 38s