Skip to content
SAWScript

SAWScript #2752

Sign in to view logs

SAWScript

SAWScript #2752

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