Revert "Force CI: revert"

This reverts commit 75d57b6.
gazebo-tooling · Jan 10, 2024 · a33d65e · a33d65e
1 parent f143198
commit a33d65e
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:
-  push:
+  pull_request:
     paths:
       - 'jenkins-scripts/dsl/**'