Remove duplicate header #1648
This file contains hidden or 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
| # Check that there is correct spelling in all files | |
| name: Check spelling | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| jobs: | |
| check_spelling: | |
| runs-on: ubuntu-latest | |
| env: | |
| GITHUB_PAT: ${{ secrets.GITHUB_TOKEN }} | |
| steps: | |
| - name: Set up Git repository | |
| uses: actions/checkout@v4.2.0 | |
| # This script started to act weird since commit 204a75856859e0e00b32ad9755c3a2a7c141879d | |
| - name: Remove files that do not care about spelling | |
| run: | | |
| rm -rf LICENSE.md | |
| rm -rf docs/old | |
| rm -rf meeting_notes | |
| rm $(find . | grep "_old\\.") | |
| rm docs/day3/seaborn/older/Seaborn-Intro.rst | |
| - uses: igsekor/pyspelling-any@v1.0.4 |