Merge branch 'master' into fetch-last-udf-epp

kedhammar · Jan 20, 2025 · 0d160e8 · 0d160e8
2 parents bf95f9a + cc0c236
commit 0d160e8
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 7 deletions.
diff --git a/.github/pr_labels.yml b/.github/pr_labels.yml
diff --git a/.github/workflows/check_pr_label.yml b/.github/workflows/check_pr_label.yml
@@ -0,0 +1,21 @@
+name: Check Label on PR
+on:
+  pull_request:
+    types: [opened, synchronize, labeled, unlabeled]
+
+jobs:
+  check_pr_label:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout PR
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0 # Fetch all history for all branches and tags
+
+      - name: Check if the PR contains the label validation or no validation
+        id: check_pr_label
+        if: |
+          ! contains( github.event.pull_request.labels.*.name, 'validation') &&  ! contains( github.event.pull_request.labels.*.name, 'no validation')
+        run: |
+          echo "Neither 'validation' nor 'no validation' labels are present."
+          exit 1 # Exit with a failure
diff --git a/VERSIONLOG.md b/VERSIONLOG.md
@@ -2,7 +2,15 @@
 
 ## 20241220.1
 
-Introduce EPP to fetch last recorded derived sample UDF.
+Rebuild EPP to fetch last recorded derived sample UDF.
+
+## 20250116.1
+
+Ruff 0.9.2 formatting.
+
+## 20250108.1
+
+Replace PR Label checker with a less opaque action.
 
 ## 20241211.1