Skip to content
SAWScript

Allow type synonyms inside other type synonyms #3168

Sign in to view logs

Allow type synonyms inside other type synonyms

Allow type synonyms inside other type synonyms #3168

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
6s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)
25m 45s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
16m 20s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
6m 37s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
32m 55s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
25m 59s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
11m 10s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
19m 11s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
8m 8s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
16m 18s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
9m 1s
mr-solver-tests (ubuntu-22.04)
45s
mr-solver-tests (macos-12)
1m 3s
heapster-tests (ubuntu-22.04)
20m 0s
heapster-tests (macos-12)
39m 40s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 55s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 57s
cabal-test (integration_tests, ubuntu-22.04, false)
9m 6s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
35s
cabal-test (test-sawcore, ubuntu-22.04, false)
53s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
11m 34s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
48s
Test SAW exercises (9.2.7)
2m 22s
cabal-test (prover_tests, ubuntu-22.04, false)
28s
cabal-test (integration_tests, macos-12, true)
16m 4s
cabal-test (integration_tests, windows-2019, true, 60)
12m 56s
Test s2n proofs (hmac, 9.2.7)
6m 30s
Test s2n proofs (drbg, 9.2.7)
3m 39s
Test s2n proofs (sike, 9.2.7)
4m 49s
Test s2n proofs (bike, 9.2.7)
7m 9s
Test s2n proofs (tls, 9.2.7)
3m 32s
Test s2n proofs (hmac-failure, 9.2.7)
4m 28s
Test s2n proofs (awslc, 9.2.7)
25m 33s
Test s2n proofs (blst, 9.2.7)
9m 47s
mergify
1s
5h 57m 4s