Skip to content
SAWScript

Merge pull request #1899 from GaloisInc/document-bool-pitfalls #2776

Sign in to view logs

Merge pull request #1899 from GaloisInc/document-bool-pitfalls

Merge pull request #1899 from GaloisInc/document-bool-pitfalls #2776

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)
34m 48s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
21m 27s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
5m 47s
build (macos-12, 3.10.1.0, 8.10.7, true)
43m 58s
build (macos-12, 3.10.1.0, 9.2.7, true)
25m 13s
build (macos-12, 3.10.1.0, 9.4.4, true)
15m 19s
build (windows-2019, 3.10.1.0, 8.10.7, true)
52m 10s
build (windows-2019, 3.10.1.0, 9.2.7, true)
27m 1s
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)
31m 22s
build-push-image
0s
Test SAW exercises (8.10.7)
3m 58s
heapster-tests (ubuntu-22.04)
2h 12m 33s
heapster-tests (macos-12)
2h 11m 38s
mr-solver-tests (ubuntu-22.04)
1m 1s
mr-solver-tests (macos-12)
1m 7s
cabal-test (integration_tests, ubuntu-22.04, false)
17m 11s
cabal-test (test-sawcore, ubuntu-22.04, false)
45s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
50s
cabal-test (prover_tests, ubuntu-22.04, false)
50s
cabal-test (integration_tests, macos-12, true)
20m 17s
cabal-test (integration_tests, windows-2019, true, 60)
18m 18s
Test s2n proofs (hmac, 8.10.7)
10m 6s
Test s2n proofs (drbg, 8.10.7)
4m 32s
Test s2n proofs (sike, 8.10.7)
6m 5s
Test s2n proofs (bike, 8.10.7)
9m 6s
Test s2n proofs (tls, 8.10.7)
10m 11s
Test s2n proofs (hmac-failure, 8.10.7)
5m 46s
Test s2n proofs (awslc, 8.10.7)
1h 14m 58s
Test s2n proofs (blst, 8.10.7)
27m 51s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 9s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
1m 56s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
1m 4s
mergify
1s
12h 27m 24s