diff options
| author |  Héctor Ramón Jiménez <hector0193@gmail.com> | 2023-07-26 02:24:22 +0200 |
|---|---|---|
| committer | Héctor Ramón Jiménez <hector0193@gmail.com> | 2023-07-26 02:24:22 +0200 |
| commit | 0be3fe4ec760dd4eba1b753b87b6f89c61d29747 (patch) | |
| tree | 0b60817697206cb6b1ec6dedc6426353cb9196e2 /.github | |
| parent | d9faf4c9808f9959ac3dcba052c4c2febd1d0481 (diff) | |
| download | iced-0be3fe4ec760dd4eba1b753b87b6f89c61d29747.tar.gz iced-0be3fe4ec760dd4eba1b753b87b6f89c61d29747.tar.bz2 iced-0be3fe4ec760dd4eba1b753b87b6f89c61d29747.zip | |
Use `origin/master` instead of `master` in `verify` workflow
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/verify.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml index 84778e91..3de8a21c 100644 --- a/.github/workflows/verify.yml +++ b/.github/workflows/verify.yml @@ -12,7 +12,7 @@ jobs: fetch-depth: 0 - name: Check `CHANGELOG.md` has changes run: | - ! git diff --exit-code master HEAD CHANGELOG.md + ! git diff --exit-code origin/master HEAD -- CHANGELOG.md - name: Check `CHANGELOG.md` has PR author if: ${{ github.event.pull_request.user.login != 'hecrj' }} run: | |