Skip to content
SAWScript

Measure coverage for integration tests in CI #2791

Sign in to view logs

Measure coverage for integration tests in CI

Measure coverage for integration tests in CI #2791

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
10s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)
33m 1s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
59m 10s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
10m 2s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
41m 39s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
36m 21s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
16m 1s
build (windows-2019, 3.10.1.0, 8.10.7, true, false)
39m 34s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
30m 29s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
11m 38s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)
32m 37s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
9m 53s
build-push-image
0s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 26s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
2m 12s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
1m 11s
mr-solver-tests (ubuntu-22.04)
59s
mr-solver-tests (macos-12)
2m 59s
heapster-tests (ubuntu-22.04)
17m 0s
heapster-tests (macos-12)
16m 58s
cabal-test (test-sawcore, ubuntu-22.04, false, false)
1m 17s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false, false)
36s
cabal-test (prover_tests, ubuntu-22.04, false, false)
34s
cabal-test (integration_tests, macos-12, true, false)
14m 32s
cabal-test (integration_tests, windows-2019, true, false, 60)
17m 2s
cabal-test (integration_tests, ubuntu-22.04, false, true)
14m 54s
Test s2n proofs (hmac, 8.10.7)
8m 14s
Test s2n proofs (drbg, 8.10.7)
5m 20s
Test s2n proofs (sike, 8.10.7)
6m 18s
Test s2n proofs (bike, 8.10.7)
9m 40s
Test s2n proofs (tls, 8.10.7)
9m 36s
Test s2n proofs (hmac-failure, 8.10.7)
6m 46s
Test s2n proofs (awslc, 8.10.7)
17m 0s
Test s2n proofs (blst, 8.10.7)
17m 3s
Test SAW exercises (8.10.7)
3m 20s
mergify
1s
8h 16m 33s