diff options
| author |  Héctor Ramón <hector0193@gmail.com> | 2023-09-03 08:55:57 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2023-09-03 08:55:57 +0200 |
| commit | 63c5f6278be8df17fc139dda1d41e0b26951509d (patch) | |
| tree | 53a3f74fc6ad7e50961d9cc768e521d07377a6b4 /.github | |
| parent | 28252e64086ad99897e881aa5e27e64654e9bafb (diff) | |
| parent | 404f4974a31b57469d70b4a94c99c2d4ec0600d2 (diff) | |
| download | iced-63c5f6278be8df17fc139dda1d41e0b26951509d.tar.gz iced-63c5f6278be8df17fc139dda1d41e0b26951509d.tar.bz2 iced-63c5f6278be8df17fc139dda1d41e0b26951509d.zip | |
Merge branch 'master' into dtzxporter-patch-1
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 }}' |