Run CI on all jenkins-scripts dir

Signed-off-by: Jose Luis Rivero <[email protected]>
gazebo-tooling · Feb 17, 2025 · 6d0b440 · 6d0b440
1 parent acd332c
commit 6d0b440
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci-dsl.yaml b/.github/workflows/ci-dsl.yaml
@@ -3,7 +3,9 @@ name: DSL logs and checks
 on:
   pull_request:
     paths:
-      - 'jenkins-scripts/dsl/**'
+      # Can not restrict it to jenkins-scripts/dsl/** since there are sanity
+      # checks on generated XML done on removal/addition of scripts in jenkins-scripts
+      - 'jenkins-scripts/**'
 
 jobs:
   xml_generation: