Merge remote-tracking branch 'origin/master' #477
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: Lint | |
| on: | |
| push: | |
| branches: [ master, devel ] | |
| pull_request: | |
| branches: [ master ] | |
| workflow_dispatch: | |
| jobs: | |
| super-lint: | |
| name: Lint with Super-Linter | |
| runs-on: ubuntu-latest | |
| steps: | |
| # Checks out a copy of your repository on the ubuntu-latest machine | |
| - name: Checkout code | |
| uses: actions/checkout@v2 | |
| # Runs the Super-Linter action | |
| - name: Run Super-Linter on new changes | |
| uses: github/super-linter@v4 | |
| env: | |
| DEFAULT_BRANCH: master | |
| VALIDATE_PYTHON_ISORT: false | |
| VALIDATE_PYTHON_MYPY: false | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| # Fail on errors | |
| DISABLE_ERRORS: false |