Add occurs check and rigid variables info to type errors #39
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" | |
| - 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' }}" | |
| - 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" |