Skip to content
SAWScript

SAWScript #3115

Sign in to view logs

SAWScript

SAWScript #3115

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
18s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
1m 23s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)
46m 13s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
3m 55s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
25m 31s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
12m 21s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
41m 49s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
28m 25s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
9m 39s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
24m 36s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
9m 0s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
23m 5s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
6m 33s
heapster-tests (ubuntu-22.04)
27m 34s
mr-solver-tests (ubuntu-22.04)
36s
heapster-tests (macos-12)
34m 3s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 32s
mr-solver-tests (macos-12)
1m 14s
cabal-test (integration_tests, ubuntu-22.04, false)
11m 19s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
4m 42s
cabal-test (test-sawcore, ubuntu-22.04, false)
52s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
49s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
1m 4s
cabal-test (prover_tests, ubuntu-22.04, false)
27s
Test SAW exercises (9.2.7)
3m 0s
cabal-test (integration_tests, macos-12, true)
16m 31s
Run integration tests with coverage reporting
0s
cabal-test (integration_tests, windows-2019, true, 60)
23m 16s
Test s2n proofs (hmac, 9.2.7)
10m 34s
Test s2n proofs (drbg, 9.2.7)
4m 23s
Test s2n proofs (sike, 9.2.7)
6m 58s
Test s2n proofs (bike, 9.2.7)
8m 52s
Test s2n proofs (tls, 9.2.7)
5m 36s
Test s2n proofs (hmac-failure, 9.2.7)
6m 16s
Test s2n proofs (awslc, 9.2.7)
40m 22s
Test s2n proofs (blst, 9.2.7)
13m 19s
mergify
0s
7h 36m 7s