Skip to content
SAWScript

Add ogFromParam to Cryptol URI when importing Cryptol names #2858

Sign in to view logs

Add ogFromParam to Cryptol URI when importing Cryptol names

Add ogFromParam to Cryptol URI when importing Cryptol names #2858

Run time

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