Merge branch 'master' into dm4/logging #6967
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: Misc linters | |
| on: [push, pull_request] | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.head_ref || github.ref }} | |
| cancel-in-progress: true | |
| permissions: | |
| contents: read | |
| jobs: | |
| misc: | |
| permissions: | |
| contents: read | |
| pull-requests: read | |
| name: misc linters | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Ensure git safe directory | |
| run: | | |
| git config --global --add safe.directory $(pwd) | |
| - name: check spell | |
| run: | | |
| pip install codespell | |
| # exclude files which may be synchronized from other places | |
| git ls-files | grep -v "^thirdparty" | grep -v "/thirdparty/" | grep -v "/dist/" | xargs -t codespell --ignore-words .github/workflows/ignore_words 2>/dev/null |