Skip to content

Commit

Permalink
Run differential ShellCheck on merge_group
Browse files Browse the repository at this point in the history
  • Loading branch information
masaru-iritani authored and jamacku committed Jul 31, 2024
1 parent b8c7b83 commit c63d804
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions .github/workflows/differential-shellcheck.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,9 @@ on:
push:
pull_request:
branches: [ main ]
merge_group:
branches:
- main

permissions:
contents: read
Expand Down Expand Up @@ -43,6 +46,9 @@ jobs:
src/**.{zsh,osh}
display-engine: sarif-fmt
token: ${{ secrets.GITHUB_TOKEN }}
triggering-event: ${{ github.event_name == 'merge_group' && 'manual' || github.event_name }}
base: ${{ github.event.merge_group.base_sha }}
head: ${{ github.event.merge_group.head_sha }}

- if: always()
name: Upload artifact with defects in SARIF format
Expand Down

0 comments on commit c63d804

Please sign in to comment.