Debug ci dsl

Signed-off-by: Jose Luis Rivero <[email protected]>
gazebo-tooling · Oct 8, 2024 · ef0f33b · ef0f33b
1 parent 8344708
commit ef0f33b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci-dsl.yaml b/.github/workflows/ci-dsl.yaml
@@ -36,7 +36,7 @@ jobs:
       - name: Checks for DSL Code
         run: |
           cd jenkins-scripts/dsl
-          ./dsl_checks.bash
+          bash -x ./dsl_checks.bash
       - name: Export XML generated configuration for diff
         run: |
           cd jenkins-scripts/dsl