[#3] Skip CI if PR title starts with 'WIP'

eclipse-iceoryx · Nov 12, 2024 · 0f52247 · 0f52247
1 parent 9463c6d
commit 0f52247
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build-test.yml b/.github/workflows/build-test.yml
@@ -11,6 +11,7 @@ on:
 
 jobs:
   changes:
+    if: !startsWith(github.event.pull_request.title, '[WIP]')
     runs-on: ubuntu-latest
     permissions:
       pull-requests: read