ci: opt-in auto-merge job (label-gated, API merge on green) #7
Owner
No description provided.
Corentin
added 1 commit 2026-06-15 15:29:48 +02:00
All checks were successful
CI / static-tests (push) Successful in 10s
Details
CI / secret-scan (push) Successful in 9s
Details
CI / php-lint (push) Successful in 22s
Details
CI / secret-scan (pull_request) Successful in 10s
Details
CI / php-lint (pull_request) Successful in 19s
Details
CI / static-tests (pull_request) Successful in 5s
Details
CI / auto-merge (push) Has been skipped
Details
CI / auto-merge (pull_request) Successful in 5s
Details
auto-merge
label
ci: opt-in auto-merge job (label-gated, API merge on green) (#7)
No reviewers
Labels
No labels
auto-merge
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: AcadeNice/corentin_wakdo#7
Loading…
Add table
Reference in a new issue
No description provided.
Delete branch "ci/robust-automerge"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?