Debug

Signed-off-by: Jose Luis Rivero <[email protected]>
gazebo-tooling · May 22, 2024 · d4ca5ca · d4ca5ca
1 parent 4bd6a57
commit d4ca5ca
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