Skip to content
SAWScript

Bump Cryptol submodule for constraint guard fix #2922

Sign in to view logs

Bump Cryptol submodule for constraint guard fix

Bump Cryptol submodule for constraint guard fix #2922

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
8s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
31m 39s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
20m 20s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
15m 57s
build (macos-12, 3.10.1.0, 8.10.7, true)
39m 54s
build (macos-12, 3.10.1.0, 9.2.7, true)
24m 32s
build (macos-12, 3.10.1.0, 9.4.4, true)
24m 15s
build (windows-2019, 3.10.1.0, 8.10.7, true)
45m 39s
build (windows-2019, 3.10.1.0, 9.2.7, true)
27m 2s
build (windows-2019, 3.10.1.0, 9.4.4, true)
19m 37s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
31m 51s
build-push-image
0s
mr-solver-tests (ubuntu-22.04)
40s
mr-solver-tests (macos-12)
53s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 24s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
1m 50s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
34s
heapster-tests (ubuntu-22.04)
26m 56s
heapster-tests (macos-12)
33m 6s
cabal-test (integration_tests, ubuntu-22.04, false)
14m 52s
cabal-test (test-sawcore, ubuntu-22.04, false)
58s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
28s
cabal-test (prover_tests, ubuntu-22.04, false)
39s
cabal-test (integration_tests, macos-12, true)
20m 34s
cabal-test (integration_tests, windows-2019, true, 60)
18m 21s
Test SAW exercises (8.10.7)
2m 53s
Test s2n proofs (hmac, 8.10.7)
10m 23s
Test s2n proofs (drbg, 8.10.7)
4m 25s
Test s2n proofs (sike, 8.10.7)
5m 53s
Test s2n proofs (bike, 8.10.7)
9m 24s
Test s2n proofs (tls, 8.10.7)
10m 13s
Test s2n proofs (hmac-failure, 8.10.7)
7m 6s
Test s2n proofs (awslc, 8.10.7)
1h 44m 57s
Test s2n proofs (blst, 8.10.7)
19m 14s
mergify
1s
9h 37m 38s