Skip to content
SAWScript

Merge pull request #1991 from GaloisInc/T1859-mir_enums #3227

Sign in to view logs

Merge pull request #1991 from GaloisInc/T1859-mir_enums

Merge pull request #1991 from GaloisInc/T1859-mir_enums #3227

Run time

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