Add support for sending NMI #384
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Mar 11, 2024 in 0s
The pull request embarked with main (7a00485) 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=lint
-
check-success=test
- all of [📃 From pull request rule Automatic merge on approval]:
#approved-reviews-by>=1
#changes-requested-reviews-by=0
-draft
[📌 queue requirement]-
base=main
-
check-success='lint'
-
check-success='test'
label!=do-not-merge
label=ready-to-merge
- any of [📌 queue -> configuration change requirements]:
-mergify-configuration-changed
-
check-success=Configuration changed
- any of [🔀 queue conditions]:
- all of [📌 queue conditions of queue
default
]:#approved-reviews-by>=1
[🛡 GitHub branch protection]#changes-requested-reviews-by=0
[🛡 GitHub branch protection]- any of [🛡 GitHub branch protection]:
-
check-success=lint
-
check-neutral=lint
-
check-skipped=lint
-
- any of [🛡 GitHub branch protection]:
-
check-success=test
-
check-neutral=test
-
check-skipped=test
-
- all of [📌 queue conditions of queue
- any of [🛡 GitHub branch protection]:
-
check-success=lint
-
check-neutral=lint
-
check-skipped=lint
-
- any of [🛡 GitHub branch protection]:
-
check-success=test
-
check-neutral=test
-
check-skipped=test
-
Check-runs and statuses of the embarked pull request #384:
codecov/patch | details | ||
codecov/project — 43.83% (+0.09%) compared to 7a00485 | details | ||
lint | details | ||
test | details |
Loading