diff options
| author |  Héctor Ramón Jiménez <hector0193@gmail.com> | 2023-09-03 08:43:58 +0200 |
|---|---|---|
| committer | Héctor Ramón Jiménez <hector0193@gmail.com> | 2023-09-03 08:43:58 +0200 |
| commit | 982ea578be1e0b934e75b41cb8d65d2ffe05558a (patch) | |
| tree | c43ce4960231fab55950166d4ebddf5e8e0a0cc0 /.github | |
| parent | 3b0d1b1ed4226d53f63e39550a446c784d5f4199 (diff) | |
| download | iced-982ea578be1e0b934e75b41cb8d65d2ffe05558a.tar.gz iced-982ea578be1e0b934e75b41cb8d65d2ffe05558a.tar.bz2 iced-982ea578be1e0b934e75b41cb8d65d2ffe05558a.zip | |
Stop verifying the `CHANGELOG` on every PR
It's a real pain to keep it up-to-date. Way easier
to generate it with a script before release.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/verify.yml | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml deleted file mode 100644 index 089dd5c9..00000000 --- a/.github/workflows/verify.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: Verify -on: - pull_request: - branches: - - master -jobs: - changelog: - runs-on: ubuntu-20.04 - steps: - - uses: actions/checkout@v2 - with: - fetch-depth: 0 - - name: Check `CHANGELOG.md` has changes - run: | - ! git diff --exit-code origin/master HEAD -- CHANGELOG.md - - 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 }}' |