Skip to content
Back to pull request #1955

mir_fresh_expanded_value #3143

Sign in to view logs

mir_fresh_expanded_value

mir_fresh_expanded_value #3143

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 49s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
16m 31s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
8m 21s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
37m 12s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
28m 6s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
13m 37s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
18m 27s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
6m 55s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
15m 33s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
5m 55s
mr-solver-tests (ubuntu-22.04)
41s
mr-solver-tests (macos-12)
1m 8s
heapster-tests (ubuntu-22.04)
32m 50s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 57s
heapster-tests (macos-12)
43m 16s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 48s
cabal-test (integration_tests, ubuntu-22.04, false)
13m 8s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
1m 2s
cabal-test (test-sawcore, ubuntu-22.04, false)
48s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
47s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
13m 55s
cabal-test (prover_tests, ubuntu-22.04, false)
46s
cabal-test (integration_tests, macos-12, true)
16m 45s
cabal-test (integration_tests, windows-2019, true, 60)
12m 42s
Test SAW exercises (9.2.7)
2m 32s
Test s2n proofs (hmac, 9.2.7)
6m 47s
Test s2n proofs (drbg, 9.2.7)
4m 26s
Test s2n proofs (sike, 9.2.7)
4m 59s
Test s2n proofs (bike, 9.2.7)
11m 8s
Test s2n proofs (tls, 9.2.7)
4m 27s
Test s2n proofs (hmac-failure, 9.2.7)
6m 7s
Test s2n proofs (awslc, 9.2.7)
26m 9s
Test s2n proofs (blst, 9.2.7)
15m 27s
mergify
1s
6h 51m 9s