Skip to content
SAWScript

SAWScript #2751

Sign in to view logs

SAWScript

SAWScript #2751

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