Upgrade hypothesis #45
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
| --- | |
| name: Lint | |
| on: # yamllint disable-line rule:truthy | |
| push: | |
| branches: ["master"] | |
| pull_request: | |
| branches: ["master"] | |
| permissions: {} | |
| jobs: | |
| build: | |
| name: Lint | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| packages: read | |
| # To report GitHub Actions status checks | |
| statuses: write | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| with: | |
| # super-linter needs the full git history to get the | |
| # list of files that changed across commits | |
| fetch-depth: 0 | |
| token: ${{ secrets.CI_TOKEN }} | |
| - name: Load super-linter configuration | |
| # Use grep inverse matching to exclude eventual comments in the .env file | |
| # because the GitHub Actions command to set environment variables doesn't | |
| # support comments. | |
| # Ref: https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/workflow-commands-for-github-actions#setting-an-environment-variable | |
| run: grep -v '^#' .github/super-linter.env >> "$GITHUB_ENV" | |
| # Collect Python deps so that mypy can see them. | |
| - name: Set up Python 3.12 | |
| uses: actions/setup-python@v3 | |
| with: | |
| python-version: "3.12" | |
| - name: Create virtualenv in /home/runner/work/_temp/_github_workflow/.venv | |
| run: python -m venv /home/runner/work/_temp/_github_workflow/.venv | |
| - name: Install test dependencies | |
| run: | | |
| /home/runner/work/_temp/_github_workflow/.venv/bin/pip install -e .[test] | |
| - name: Super-linter | |
| uses: super-linter/[email protected] # x-release-please-version | |
| env: | |
| # To report GitHub Actions status checks | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| VALIDATE_ALL_CODEBASE: "${{ github.event_name == 'pull_request' && 'false' || 'true' }}" | |
| PYTHONPATH: "/github/workspace:/github/workflow/.venv/lib/python3.12/site-packages" | |
| - name: Commit and push linting fixes | |
| # Run only on: | |
| # - Pull requests | |
| # - Not on the default branch | |
| if: > | |
| always() && | |
| github.event_name == 'pull_request' && | |
| github.ref_name != github.event.repository.default_branch | |
| uses: stefanzweifel/git-auto-commit-action@v5 | |
| with: | |
| branch: ${{ github.event.pull_request.head.ref || github.head_ref || github.ref }} | |
| commit_message: "Fix issues found by linters" | |
| commit_user_name: super-linter | |
| commit_user_email: [email protected] | |
| status_options: "--untracked-files=no" |