Skip to content
SAWScript

MIR enums #3193

Sign in to view logs

MIR enums

MIR enums #3193

Run time

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