Remove redundency in mergify rules #50
Merged
Mergify / Queue: Embarked in merge queue
succeeded
May 3, 2024 in 0s
The pull request embarked with main (70c7547) will be merged soon
Required conditions for merge:
- all of [📃 From pull request rule Automatic merge PRs from trusted contributors]:
#changes-requested-reviews-by=0
-draft
[📌 queue requirement]-
base=main
-
check-success=CI Workflow - Success
label!=do-not-merge
- any of:
- any of [📌 queue -> configuration change requirements]:
-
check-success=Configuration changed
-mergify-configuration-changed
-
- any of [🔀 queue conditions]:
- all of [📌 queue conditions of queue
default
]:#changes-requested-reviews-by=0
-
base=main
-
check-success=CI Workflow - Success
label!=do-not-merge
- any of [🛡 GitHub branch protection]:
-
check-success=CI Workflow - Success
-
check-neutral=CI Workflow - Success
-
check-skipped=CI Workflow - Success
-
- any of [🛡 GitHub branch protection]:
-
check-success=DCO
-
check-neutral=DCO
-
check-skipped=DCO
-
- all of [📌 queue conditions of queue
- any of [🛡 GitHub branch protection]:
-
check-success=CI Workflow - Success
-
check-neutral=CI Workflow - Success
-
check-skipped=CI Workflow - Success
-
- any of [🛡 GitHub branch protection]:
-
check-success=DCO
-
check-neutral=DCO
-
check-skipped=DCO
-
Check-runs and statuses of the embarked pull request #50:
Build (and push) container image | details | ||
Build devcontainer image | details | ||
CI Workflow - Success | details | ||
DCO — DCO | details | ||
Pre-commit checks | details | ||
Tests | details |
Loading