Skip to content

Commit

Permalink
[CI] change pr_lint to run on pull_request instead of target
Browse files Browse the repository at this point in the history
Signed-off-by: Gary Guo <[email protected]>
  • Loading branch information
nbdd0121 committed Dec 7, 2023
1 parent e50f43d commit 5ae46cc
Showing 1 changed file with 6 additions and 18 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -6,32 +6,19 @@
#
# See https://github.com/chipsalliance/verible-linter-action.

name: pr-lint-review
name: pr-lint

# Triggers when there is any activity on a pull request, e.g. opened, updated.
#
# The action runs in the context of the _base_ of the pull request, but later we
# checkout the repository at the pull request's HEAD to run linting.
on:
pull_request_target:
pull_request:

jobs:
verible-lint:
runs-on: ubuntu-latest
# Grant write permissions only for setting checks and adding review comments
# to pull requests.
permissions:
checks: write
contents: read
pull-requests: write
env:
verible_config: 'vendor/lowrisc_ip/lint/tools/veriblelint/lowrisc-styleguide.rules.verible_lint'
verible_config: "vendor/lowrisc_ip/lint/tools/veriblelint/lowrisc-styleguide.rules.verible_lint"
steps:
- uses: actions/checkout@v3
with:
# Because `pull_request_target` runs at the PR's base, we need to
# checkout the head of the PR before running the lint.
ref: ${{ github.event.pull_request.head.sha }}
- uses: actions/checkout@v4
- name: Display Verible config
run: |
echo "::group::Verible config"
Expand All @@ -41,5 +28,6 @@ jobs:
uses: chipsalliance/verible-linter-action@main
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
suggest_fixes: 'false'
reviewdog_report: github-pr-check
suggest_fixes: "false"
config_file: ${{ env.verible_config }}

0 comments on commit 5ae46cc

Please sign in to comment.