Make things build with the sum-types branch of cryptol
#2020
Mergify / Queue: Embarked in merge queue
succeeded
Feb 3, 2024 in 0s
The pull request embarked with master (ae35e76) will be merged soon
Required conditions for merge:
#approved-reviews-by>=1[🛡 GitHub branch protection]#changes-requested-reviews-by=0[🛡 GitHub branch protection]-
check-success=mergify - all of [📃 From pull request rule Automatic merge on approval, CI, and ready-to-merge label]:
#approved-reviews-by>=1-draft[📌 queue requirement]-
check-success=mergify label=ready-to-merge- any of [📌 queue -> configuration change requirements]:
-mergify-configuration-changed-
check-success=Configuration changed
- any of [🔀 queue conditions]:
Check-runs and statuses of the embarked pull request #2020:
 |  | build-push-image | details |
 | | Run integration tests with coverage reporting (integration_tests, ubuntu-22.04) | details |
| | Test SAW exercises (9.2.8) | details |
| | Test s2n proofs (awslc, 9.2.8) | details |
| | Test s2n proofs (bike, 9.2.8) | details |
| | Test s2n proofs (blst, 9.2.8) | details |
| | Test s2n proofs (drbg, 9.2.8) | details |
| | Test s2n proofs (hmac, 9.2.8) | details |
| | Test s2n proofs (hmac-failure, 9.2.8) | details |
| | Test s2n proofs (sike, 9.2.8) | details |
| | Test s2n proofs (tls, 9.2.8) | details |
| | build (macos-12, 3.10.1.0, 9.2.8, true, false) | details |
| | build (macos-12, 3.10.1.0, 9.4.8, true, false) | details |
| | build (macos-12, 3.10.1.0, 9.6.3, true, false) | details |
| | build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false) | details |
| | build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false) | details |
| | build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false) | details |
| | build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false) | details |
| | build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true) | details |
| | build (windows-2019, 3.10.1.0, 9.2.8, true, false) | details |
| | build (windows-2019, 3.10.1.0, 9.4.8, true, false) | details |
| | build (windows-2019, 3.10.1.0, 9.6.3, true, false) | details |
| | cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false) | details |
| | cabal-test (integration_tests, macos-12, true) | details |
| | cabal-test (integration_tests, ubuntu-22.04, false) | details |
| | cabal-test (integration_tests, windows-2019, true, 60) | details |
| | cabal-test (prover_tests, ubuntu-22.04, false) | details |
| | cabal-test (test-sawcore, ubuntu-22.04, false) | details |
| | config | details |
| | heapster-tests (macos-12) | details |
| | heapster-tests (ubuntu-22.04) | details |
| | mergify | details |
| | mr-solver-tests (macos-12) | details |
| | mr-solver-tests (ubuntu-22.04) | details |
| | saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04) | details |
| | saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04) | details |
| | saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ... | details |
Loading