Skip to content
SAWScript

Merge pull request #2165 from GaloisInc/dholland-typechecker #3977

Sign in to view logs

Merge pull request #2165 from GaloisInc/dholland-typechecker

Merge pull request #2165 from GaloisInc/dholland-typechecker #3977

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
5m 59s
config
3m 21s
config
7s
build
0s
build
0s
build-push-image
0s
build-push-image
0s
build-push-image
0s
saw-remote-api-tests
0s
saw-remote-api-tests
0s
mr-solver-tests
0s
mr-solver-tests
0s
heapster-tests
0s
heapster-tests
0s
cabal-test
0s
cabal-test
0s
Run integration tests with coverage reporting
0s
Run integration tests with coverage reporting
0s
Run integration tests with coverage reporting
0s
Test s2n proofs
0s
Test s2n proofs
0s
Test SAW exercises
0s
Test SAW exercises
0s
mergify
0s
mergify
0s
mergify
0s
build (ubuntu-22.04, 3.10.3.0, 9.4.8, true, false)
8m 42s
build (ubuntu-22.04, 3.10.3.0, 9.6.6, true, false)
5m 22s
build (ubuntu-22.04, 3.10.3.0, 9.8.2, true, false)
5m 28s
build (ubuntu-20.04, 9.4.8, 3.10.3.0, false, false)
5m 29s
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true, true)
5m 41s
build (windows-2019, 9.4.8, true, false)
8m 24s
build (macos-13, 9.4.8, true, false)
13m 58s
build (macos-14, 9.4.8, true, false)
8m 21s
heapster-tests (ubuntu-22.04)
27m 12s
heapster-tests (macos-14)
20m 30s
mr-solver-tests (ubuntu-22.04)
46s
Test s2n proofs (hmac, ubuntu-22.04, 9.4.8)
6m 22s
mr-solver-tests (macos-14)
59s
cabal-test (integration_tests, ubuntu-22.04, false)
9m 43s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 25s
cabal-test (test-sawcore, ubuntu-22.04, false)
52s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 19s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
25s
Test s2n proofs (drbg, ubuntu-22.04, 9.4.8)
3m 45s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
52s
cabal-test (prover_tests, ubuntu-22.04, false)
29s
Test s2n proofs (sike, ubuntu-22.04, 9.4.8)
4m 31s
cabal-test (integration_tests, macos-14, true)
13m 8s
Test s2n proofs (bike, ubuntu-22.04, 9.4.8)
7m 5s
cabal-test (integration_tests, windows-2019, true, 60)
15m 23s
Test SAW exercises (ubuntu-22.04, 9.4.8)
2m 24s
Test s2n proofs (tls, ubuntu-22.04, 9.4.8)
3m 42s
Test s2n proofs (hmac-failure, ubuntu-22.04, 9.4.8)
3m 56s
Test s2n proofs (awslc, ubuntu-22.04, 9.4.8)
25m 40s
Test s2n proofs (blst, ubuntu-22.04, 9.4.8)
8m 49s
3h 50m 9s