From 50eeea41112a50b4aa1748e81f9fab59ca06340e Mon Sep 17 00:00:00 2001
From: Robin Leroy <egg.robin.leroy@gmail.com>
Date: Fri, 15 Dec 2023 18:56:39 +0100
Subject: [PATCH] try to get labels

---
 .github/workflows/pipeline.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/pipeline.yml b/.github/workflows/pipeline.yml
index 88686da72..0cfa66374 100644
--- a/.github/workflows/pipeline.yml
+++ b/.github/workflows/pipeline.yml
@@ -31,8 +31,9 @@ jobs:
         then echo "changed=false" >> "$GITHUB_OUTPUT"
         else echo "changed=true" >> "$GITHUB_OUTPUT"
         fi
-    - name: Test
+    - name: Check pipeline labels
       if: steps.compare-repertoire.outputs.changed == 'true'
       run: |
-        echo test
+        cat $GITHUB_EVENT_PATH |
+        python3 -c "import sys, json; print(json.load(sys.stdin)['pull_request']['labels'])"