Merge pull request #176 from n-osborne/changelog-workflow

Add a CI workflow for changelog
ocaml-gospel · Nov 10, 2023 · 3c4f9e3 · 3c4f9e3
2 parents 4707033 + e8de605
commit 3c4f9e3
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/.github/workflows/changelog.yml b/.github/workflows/changelog.yml
@@ -0,0 +1,21 @@
+name: changelog
+
+on:
+  pull_request:
+    branches: [ main ]
+    types: [ opened, synchronize, reopened, labeled, unlabeled ]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    if: ${{ !contains(github.event.pull_request.labels.*.name, 'no-changelog-needed') }}
+
+    steps:
+    - uses: actions/checkout@v1
+
+    - name: git diff
+      env:
+        BASE_REF: ${{ github.event.pull_request.base.ref }}
+      run: |
+        ! git diff --exit-code origin/$BASE_REF -- CHANGES.md