diff options
| author |  Héctor Ramón Jiménez <hector0193@gmail.com> | 2023-07-27 01:42:19 +0200 |
|---|---|---|
| committer | Héctor Ramón Jiménez <hector0193@gmail.com> | 2023-07-27 01:42:19 +0200 |
| commit | e5a054f2704881145ceeba074668bdb0129f8eed (patch) | |
| tree | fce381ba021978481dea8ef7e7b3216bea155392 /.github | |
| parent | e29754f32d03efc4b075e9b63cc554d128bc2ccf (diff) | |
| download | iced-e5a054f2704881145ceeba074668bdb0129f8eed.tar.gz iced-e5a054f2704881145ceeba074668bdb0129f8eed.tar.bz2 iced-e5a054f2704881145ceeba074668bdb0129f8eed.zip | |
Improve name of `verify` workflow step
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 3de8a21c..089dd5c9 100644 --- a/.github/workflows/verify.yml +++ b/.github/workflows/verify.yml @@ -13,7 +13,7 @@ jobs: - name: Check `CHANGELOG.md` has changes run: | ! git diff --exit-code origin/master HEAD -- CHANGELOG.md - - name: Check `CHANGELOG.md` has PR author + - name: Check `CHANGELOG.md` thanks the PR author 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.login }}' |