Skip to content
SAWScript

Fix two minor CI artifact issues discovered during SAW 1.0 release #2685

Sign in to view logs

Fix two minor CI artifact issues discovered during SAW 1.0 release

Fix two minor CI artifact issues discovered during SAW 1.0 release #2685

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
14s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
32m 39s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
22m 12s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
6m 5s
build (macos-12, 3.10.1.0, 8.10.7, true)
40m 28s
build (macos-12, 3.10.1.0, 9.2.7, true)
33m 12s
build (macos-12, 3.10.1.0, 9.4.4, true)
23m 50s
build (windows-2019, 3.10.1.0, 8.10.7, true)
1h 19m 17s
build (windows-2019, 3.10.1.0, 9.2.7, true)
51m 14s
build (windows-2019, 3.10.1.0, 9.4.4, true)
43m 26s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
30m 19s
build-push-image
0s
mr-solver-tests (ubuntu-22.04)
32s
mr-solver-tests (macos-12)
1m 15s
heapster-tests (ubuntu-22.04)
2h 30m 3s
heapster-tests (macos-12)
2h 30m 47s
Test SAW exercises (8.10.7)
4m 8s
cabal-test (integration_tests, ubuntu-22.04, false)
18m 0s
cabal-test (test-sawcore, ubuntu-22.04, false)
1m 4s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
29s
cabal-test (prover_tests, ubuntu-22.04, false)
42s
cabal-test (integration_tests, macos-12, true)
21m 17s
cabal-test (integration_tests, windows-2019, true, 60)
18m 1s
Test s2n proofs (hmac, 8.10.7)
9m 2s
Test s2n proofs (drbg, 8.10.7)
5m 4s
Test s2n proofs (sike, 8.10.7)
7m 3s
Test s2n proofs (bike, 8.10.7)
12m 1s
Test s2n proofs (tls, 8.10.7)
12m 47s
Test s2n proofs (hmac-failure, 8.10.7)
6m 23s
Test s2n proofs (awslc, 8.10.7)
1h 27m 17s
Test s2n proofs (blst, 8.10.7)
22m 7s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 45s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
1m 42s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
47s
mergify
1s
14h 55m 13s