Skip to content
SAWScript

Add ogFromParam to Cryptol URI when importing Cryptol names #2865

Sign in to view logs

Add ogFromParam to Cryptol URI when importing Cryptol names

Add ogFromParam to Cryptol URI when importing Cryptol names #2865

Run time

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