Skip to content
SAWScript

Inv subst #3310

Sign in to view logs

Inv subst

Inv subst #3310

Run time

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