mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-10-09 14:55:50 +08:00
Hide old mypy_primer comments (#5364)
This commit is contained in:
1 parent
49cd02456c
commit
83e875dffb
1 file changed
+6
@@ -112,3 +112,9 @@ jobs:
|
||||
repo: context.repo.repo,
|
||||
body,
|
||||
})
|
||||
|
||||
- uses: kanga333/comment-hider@9141763feccc8da
|
||||
name: Hide old comments
|
||||
with:
|
||||
github_token: ${{ secrets.GITHUB_TOKEN }}
|
||||
leave_visible: 1
|
||||
Reference in new issue
Block a user