feat: add welcome bot & mergify bot

This commit is contained in:
Jinzhe Pan
2026-03-13 22:25:48 -04:00
parent e721cf039f
commit 125876f625
3 changed files with 18 additions and 9 deletions
+13 -2
View File
@@ -1,7 +1,18 @@
name: pre-commit
on:
workflow_call:
pull_request:
branches: [main]
push:
branches: [main]
workflow_call:
concurrency:
group: pre-commit-${{ github.ref }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
permissions:
contents: read
jobs:
pre-commit:
@@ -15,4 +26,4 @@ jobs:
- run: echo "::add-matcher::.github/workflows/matchers/mypy.json"
- uses: pre-commit/action@v3.0.1
with:
extra_args: --all-files --hook-stage manual
extra_args: --all-files --hook-stage manual