Tweak CI config (#13615)

This commit is contained in:
fisker Cheung authored and GitHub committed 2022-10-12 15:10:08 +08:00
1 parent 1cfccd3b82
commit dd006e4eed
13 files changed
+136 -67

No files matched your search

+4 -1
View File
@@ -5,12 +5,15 @@ on:
types:
- created
permissions:
issues: write
jobs:
mark-duplicate:
runs-on: ubuntu-latest
if: ${{ !github.event.issue.pull_request && startsWith(github.event.comment.body, 'Duplicate of ') }}
steps:
- uses: actions-cool/issues-helper@v3
- uses: actions-cool/issues-helper@v3.3.0
with:
actions: "mark-duplicate"
token: ${{ secrets.GITHUB_TOKEN }}