Exclude .ts files from PR lint check

820f4439ada3def6358fe7390150531600672243

Cohee <18619528+Cohee1207@users.noreply.github.com>

Parents: f302c67b955b479988df1ace5a600ba81bcabfc8
1 files changed, +1 -1Ignore whitespace
.github/workflows/pr-auto-manager.yml+1 -1
@@ -49,7 +49,7 @@ jobs:
49 with:49 with:
50 token: ${{ secrets.GITHUB_TOKEN }}50 token: ${{ secrets.GITHUB_TOKEN }}
51 eslint-args: '--ignore-path=.gitignore --quiet'51 eslint-args: '--ignore-path=.gitignore --quiet'
52 extensions: 'js,ts'52 extensions: 'js'
53 annotations: true53 annotations: true
54 ignore-patterns: |54 ignore-patterns: |
55 dist/55 dist/