[p]warn ask to ban when user not in server
#1287
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Check label pattern exhaustiveness | |
| on: | |
| pull_request: | |
| push: | |
| jobs: | |
| check_label_pattern_exhaustiveness: | |
| name: Check label pattern exhaustiveness | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout the repository | |
| uses: actions/checkout@v3 | |
| - name: Set up Python | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: "3.8" | |
| - name: Install script's pre-requirements | |
| run: | | |
| python -m pip install -U pip | |
| python -m pip install -U pathspec pyyaml rich | |
| - name: Check label pattern exhaustiveness | |
| run: | | |
| python .github/workflows/scripts/check_label_pattern_exhaustiveness.py |