Skip to content
SAWScript

SAWScript #3096

Sign in to view logs

SAWScript

SAWScript #3096

Run time

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