Skip to content

CI: Upload linting results to logfile only #28

CI: Upload linting results to logfile only

CI: Upload linting results to logfile only #28

Workflow file for this run

name: Verible linter
on:
push:
jobs:
lint-review:
runs-on: ubuntu-latest
permissions:
checks: write
contents: read
pull-requests: write
steps:
- uses: actions/checkout@v3
with:
ref: ${{ github.event.pull_request.head.sha }}
- uses: chipsalliance/verible-linter-action@test
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
reviewdog_reporter: 'local'
extra_args: '--waiver_files=./violations.waiver'
paths: |
./design