diff options
| author |  Héctor Ramón Jiménez <hector0193@gmail.com> | 2023-07-26 02:19:44 +0200 |
|---|---|---|
| committer | Héctor Ramón Jiménez <hector0193@gmail.com> | 2023-07-26 02:19:44 +0200 |
| commit | d9faf4c9808f9959ac3dcba052c4c2febd1d0481 (patch) | |
| tree | c9d5bd7a21ef4d4cb9fece84f0d62edf7a7a2078 /.github | |
| parent | 269e5410da8a9d04b62671042167ea475283d678 (diff) | |
| download | iced-d9faf4c9808f9959ac3dcba052c4c2febd1d0481.tar.gz iced-d9faf4c9808f9959ac3dcba052c4c2febd1d0481.tar.bz2 iced-d9faf4c9808f9959ac3dcba052c4c2febd1d0481.zip | |
Use `login` instead of `name` in `verify` workflow
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/verify.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml index 6f48415a..84778e91 100644 --- a/.github/workflows/verify.yml +++ b/.github/workflows/verify.yml @@ -14,6 +14,6 @@ jobs: run: | ! git diff --exit-code master HEAD CHANGELOG.md - name: Check `CHANGELOG.md` has PR author - if: ${{ github.event.pull_request.user.name != 'hecrj' }} + if: ${{ github.event.pull_request.user.login != 'hecrj' }} run: | - sed -n '/## \[Unreleased\]/,/^## /p' CHANGELOG.md | sed -n '/Many thanks to.../,//p' | grep '@${{ github.event.pull_request.user.name }}' + sed -n '/## \[Unreleased\]/,/^## /p' CHANGELOG.md | sed -n '/Many thanks to.../,//p' | grep '@${{ github.event.pull_request.user.login }}' |