Force CI: revert

Signed-off-by: Jose Luis Rivero <jrivero@osrfoundation.org>
gazebo-tooling · Dec 28, 2023 · 75d57b6 · 75d57b6
1 parent 96cc763
commit 75d57b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci-dsl.yaml b/.github/workflows/ci-dsl.yaml
@@ -1,7 +1,7 @@
 name: DSL logs and checks
 
 on:
-  pull_request:
+  push:
     paths:
       - 'jenkins-scripts/dsl/**'