diff options
Diffstat (limited to '.github/workflows/style.yml')
| -rw-r--r-- | .github/workflows/style.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/style.yml b/.github/workflows/style.yml index 8860a24fe594..08d4242df5ed 100644 --- a/.github/workflows/style.yml +++ b/.github/workflows/style.yml @@ -31,4 +31,4 @@ jobs: - name: Run checker run: | sha=$(git merge-base ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }}) - tools/build/checkstyle9.pl ${sha}..${{ github.event.pull_request.head.sha }} + tools/build/checkstyle9.pl --github ${sha}..${{ github.event.pull_request.head.sha }} |