Skip to content
SAWScript

SAWScript #2870

Sign in to view logs

SAWScript

SAWScript #2870

Run time

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