Skip to content
SAWScript

Add ogFromParam to Cryptol URI when importing Cryptol names #2862

Sign in to view logs

Add ogFromParam to Cryptol URI when importing Cryptol names

Add ogFromParam to Cryptol URI when importing Cryptol names #2862

Run time

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