Skip to content
SAWScript

Measure coverage for integration tests in CI #2744

Sign in to view logs

Measure coverage for integration tests in CI

Measure coverage for integration tests in CI #2744

Run time

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