From 680756500c1eda19e984be2ef0c928f54977176c Mon Sep 17 00:00:00 2001 From: mpostma Date: Thu, 19 Nov 2020 14:27:48 +0100 Subject: [PATCH] remove update changelog ci check --- .github/workflows/check-updated-changelog.yml | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 .github/workflows/check-updated-changelog.yml diff --git a/.github/workflows/check-updated-changelog.yml b/.github/workflows/check-updated-changelog.yml deleted file mode 100644 index 1c02cd0f0..000000000 --- a/.github/workflows/check-updated-changelog.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: Check if the CHANGELOG.md has been updated - -on: [pull_request] - -jobs: - check: - name: Test on ${{ matrix.os }} - if: ${{ !contains(github.event.pull_request.labels.*.name, 'ignore-changelog') }} - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - - name: Checking the CHANGELOG.md has been updated in this PR - run: | - set -e - git fetch origin ${{ github.base_ref }} - git diff --name-only origin/${{ github.base_ref }} | grep -q CHANGELOG.md