Merge branch 'main' into patch-4

2026-08-24 10:27:18 +00:00 · 2025-03-06 14:06:55 +02:00
parent 8129760c73 dfe7a94acd
commit 324512f943
2 changed files with 6 additions and 1 deletions
@@ -31,6 +31,12 @@ jobs:
              if: github.event_name == 'pull_request'
              run: echo "PR_AUTHOR=${{ github.event.pull_request.user.login }}" >> $GITHUB_ENV

+            - name: Get PR labels
+              if: github.event_name == 'pull_request'
+              run: |
+                  LABELS=$(jq -c '[.pull_request.labels[].name]' <<< '${{ toJson(github.event) }}')
+                  echo "PR_LABELS=$LABELS" >> $GITHUB_ENV
+
            - name: Get changed files
              if: github.event_name == 'pull_request'
              run: |
@@ -1,7 +1,6 @@
 [
    "_discord",
    "_psl",
-    "_gh-is-a-dev-docs-o",
    "_gh-is-a-dev-o",
    "_github-pages-challenge-is-a-dev"
 ]