Skip to content
SAWScript

Measure coverage for integration tests in CI #2741

Sign in to view logs

Measure coverage for integration tests in CI

Measure coverage for integration tests in CI #2741

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
6s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)
32m 13s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
20m 33s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
5m 48s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
43m 44s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
28m 2s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
11m 8s
build (windows-2019, 3.10.1.0, 8.10.7, true, false)
38m 53s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
22m 55s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
8m 3s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)
36m 16s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
12m 20s
build-push-image
0s
heapster-tests (ubuntu-22.04)
16m 50s
heapster-tests (macos-12)
16m 46s
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 19s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
52s
mr-solver-tests (ubuntu-22.04)
32s
mr-solver-tests (macos-12)
2m 53s
Test SAW exercises (8.10.7)
3m 15s
cabal-test (test-sawcore, ubuntu-22.04, false, false)
1m 1s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false, false)
42s
cabal-test (prover_tests, ubuntu-22.04, false, false)
41s
cabal-test (integration_tests, macos-12, true, false)
16m 46s
cabal-test (integration_tests, windows-2019, true, false, 60)
16m 58s
cabal-test (integration_tests, ubuntu-22.04, false, true)
14m 45s
Test s2n proofs (hmac, 8.10.7)
8m 56s
Test s2n proofs (drbg, 8.10.7)
5m 49s
Test s2n proofs (sike, 8.10.7)
6m 28s
Test s2n proofs (bike, 8.10.7)
11m 35s
Test s2n proofs (tls, 8.10.7)
12m 13s
Test s2n proofs (hmac-failure, 8.10.7)
6m 10s
Test s2n proofs (awslc, 8.10.7)
16m 47s
Test s2n proofs (blst, 8.10.7)
16m 48s
mergify
1s
7h 21m 27s