Bump chisel3 from 818cb70 to 1247147
#433
Merged
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Mergify / Queue: Embarked in merge queue
succeeded
Nov 3, 2023 in 0s
The pull request embarked with master (0f285bb) is mergeable
Required conditions for merge:
-
status-success=all tests passed - all of [📃 From pull request rule Automatic merge for Dependabot]:
#changes-requested-reviews-by=0-draft[:pushpin: queue requirement]-mergify-configuration-changed[:pushpin: queue -> allow_merging_configuration_change setting requirement]author~=^dependabot(|-preview)\[bot\]$label!="DO NOT MERGE"-
status-success=all tests passed - any of [:twisted_rightwards_arrows: queue conditions]:
- all of [:pushpin: queue conditions of queue
default]:- any of [🛡 GitHub branch protection]:
-
check-success=all tests passed -
check-neutral=all tests passed -
check-skipped=all tests passed
-
- any of [🛡 GitHub branch protection]:
- all of [:pushpin: queue conditions of queue
- any of [🛡 GitHub branch protection]:
-
check-success=all tests passed -
check-neutral=all tests passed -
check-skipped=all tests passed
-
Check-runs and statuses of the embarked pull request #433:
 |  | API Docs (chisel3) | details |
| | Build & Deploy Website | details |
| | all tests passed | details |
| | check tests | details |
Loading