Skip to content
SAWScript

Bump cryptol submodule #3213

Sign in to view logs

Bump cryptol submodule

Bump cryptol submodule #3213

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
12s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
17m 27s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
8m 46s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
6m 28s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
21m 24s
build-push-image
0s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
12m 59s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
12m 14s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
20m 5s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
15m 44s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
10m 40s
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)
10m 26s
heapster-tests (ubuntu-22.04)
18m 5s
heapster-tests (macos-12)
29m 49s
mr-solver-tests (ubuntu-22.04)
30s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 10s
mr-solver-tests (macos-12)
1m 30s
cabal-test (integration_tests, ubuntu-22.04, false)
10m 9s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 31s
cabal-test (test-sawcore, ubuntu-22.04, false)
35s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
37s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
14m 24s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
59s
cabal-test (prover_tests, ubuntu-22.04, false)
33s
Test SAW exercises (9.2.8)
2m 29s
cabal-test (integration_tests, macos-12, true)
20m 14s
Test s2n proofs (hmac, 9.2.8)
6m 30s
cabal-test (integration_tests, windows-2019, true, 60)
16m 37s
Test s2n proofs (drbg, 9.2.8)
3m 38s
Test s2n proofs (sike, 9.2.8)
4m 55s
Test s2n proofs (bike, 9.2.8)
7m 16s
Test s2n proofs (tls, 9.2.8)
3m 38s
Test s2n proofs (hmac-failure, 9.2.8)
4m 8s
Test s2n proofs (awslc, 9.2.8)
25m 22s
Test s2n proofs (blst, 9.2.8)
10m 37s
mergify
1s
5h 39m 36s