javascript/element-plus
1
0
Fork 0
mirror of https://github.com/element-plus/element-plus.git synced 2026-03-13 07:51:17 +08:00
Code Issues Packages Projects Releases Wiki Activity

ci: auto remove conflict pending label (#22870)

Browse Source
This commit is contained in:
btea
2025-11-20 18:39:35 +08:00
committed by GitHub
parent 439c0b5b88
commit 0778b46ad8
1 changed files with 15 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
.github/workflows/pr-conflict.yml vendored
View File

@@ -22,5 +22,19 @@ jobs:
body: |
@${{ github.event.pull_request.user.login }} This PR has conflicts, please resolve them.
<!-- ELEMENT_PLUS_CONFLICT_COMMENT -->
body-include: '<!-- ELEMENT_PLUS_CONFLICT_COMMENT -->'
body-include: "<!-- ELEMENT_PLUS_CONFLICT_COMMENT -->"
number: ${{ github.event.pull_request.number }}
remove-label:
runs-on: ubuntu-latest
steps:
- name: Check mergeable state
run: "mergeable_state: ${{ github.event.pull_request.mergeable_state }}"
- name: Remove conflict pending label
if: |
github.repository_owner == 'element-plus' &&
github.event.pull_request.mergeable_state == true
uses: actions-cool/issues-helper@v3
with:
actions: "remove-labels"
labels: "conflict pending"