Command Tag Implementation #56
Workflow file for this run
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: Pre-commit consistency check | |
| on: | |
| workflow_dispatch: | |
| pull_request: | |
| types: [labeled, opened, reopened, synchronize] | |
| push: | |
| branches: [spigot, re-recode] | |
| concurrency: | |
| group: ${{ github.head_ref }}-precommit | |
| cancel-in-progress: true | |
| jobs: | |
| pre-commit-check: | |
| permissions: | |
| pull-requests: write | |
| if: github.event.action != 'labeled' || github.event.label.name == 'pre-commit ci run' | |
| name: Run pre-commit checks | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| with: | |
| fetch-depth: 0 | |
| - run: gh pr edit ${{ github.event.number }} --remove-label 'pre-commit ci run' | |
| if: github.event.action == 'labeled' && github.event.label.name == 'pre-commit ci run' | |
| env: | |
| GH_TOKEN: ${{ github.token }} | |
| - uses: dorny/paths-filter@v2 | |
| id: filter | |
| with: | |
| list-files: shell | |
| filters: | | |
| addedOrModified: | |
| - added|modified: '**' | |
| # run only if changed files were detected | |
| - name: Run against changes | |
| uses: pre-commit/[email protected] | |
| if: steps.filter.outputs.addedOrModified == 'true' | |
| with: | |
| extra_args: --files ${{ steps.filter.outputs.addedOrModified_files }} | |
| # run if no changed files were detected (e.g. workflow_dispatch on master branch) | |
| - name: Run against all files | |
| uses: pre-commit/[email protected] | |
| if: steps.filter.outputs.addedOrModified != 'true' | |
| with: | |
| extra_args: --all-files | |
| - uses: pre-commit-ci/[email protected] | |
| if: always() | |
| with: | |
| msg: apply code formatting | |
| - name: Commit pre-commit changes | |
| if: always() && github.event.action != 'pull_request' && github.event.action != 'labeled' | |
| run: | | |
| git config --global user.name "github-actions[bot]" | |
| git config --global user.email "github-actions[bot]@users.noreply.github.com" | |
| git add . | |
| git commit -m "chore: pre-commit changes" || echo "No changes to commit" | |
| git push ${{ github.head_ref }} | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |