Skip to content
SAWScript

Split on unique conditions. #3276

Sign in to view logs

Split on unique conditions.

Split on unique conditions. #3276

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
9s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
18m 39s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
12m 33s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
12m 25s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
27m 9s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
15m 28s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
15m 10s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
19m 8s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
11m 41s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
11m 21s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
17m 20s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
17m 49s
heapster-tests (ubuntu-22.04)
17m 56s
heapster-tests (macos-12)
28m 45s
mr-solver-tests (ubuntu-22.04)
49s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 43s
cabal-test (integration_tests, ubuntu-22.04, false)
10m 23s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 30s
mr-solver-tests (macos-12)
1m 20s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
56s
cabal-test (test-sawcore, ubuntu-22.04, false)
39s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
35s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
14m 33s
cabal-test (prover_tests, ubuntu-22.04, false)
29s
cabal-test (integration_tests, macos-12, true)
17m 54s
cabal-test (integration_tests, windows-2019, true, 60)
16m 3s
Test SAW exercises (9.2.8)
2m 37s
Test s2n proofs (hmac, 9.2.8)
6m 32s
Test s2n proofs (drbg, 9.2.8)
3m 47s
Test s2n proofs (sike, 9.2.8)
4m 52s
Test s2n proofs (bike, 9.2.8)
7m 30s
Test s2n proofs (tls, 9.2.8)
3m 35s
Test s2n proofs (hmac-failure, 9.2.8)
4m 21s
Test s2n proofs (awslc, 9.2.8)
25m 18s
Test s2n proofs (blst, 9.2.8)
9m 54s
mergify
1s
6h 0m 54s