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: merged pr comment exclude bot (#23262)

Browse Source 
* ci: merged pr comment exclude bot

* fix: update
This commit is contained in:
btea
2025-12-31 10:19:03 +08:00
committed by GitHub
parent 531f914dc0
commit 6d23dbe4bc
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/pr-comment.yml vendored
View File

@@ -13,7 +13,8 @@ jobs:
pull-requests: write
if: |
github.event.pull_request.merged == true &&
github.repository_owner == 'element-plus'
github.repository_owner == 'element-plus' &&
github.event.pull_request.user.type != 'Bot'
steps:
- name: Comment on PR