Update actions/checkout action to v4.1.6 #73
Merged
Mergify / Queue: Embarked in merge queue
succeeded
May 17, 2024 in 0s
The pull request embarked with main (cacc6b3) will be merged soon
Required conditions for merge:
- all of [📃 From pull request rule Automatic merge PRs from trusted contributors]:
-draft[📌 queue requirement]- any of:
- any of [📌 queue -> configuration change requirements]:
-mergify-configuration-changed-
check-success=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 #73:
 |  | Build (and push) container image | details |
| | Build devcontainer image | details |
| | CI Workflow - Success | details |
|  | DCO — DCO | details |
| | Pre-commit checks | details |
| | Tests | details |
Loading