From a33d65e275bf49161a4419b24f203532f600fa20 Mon Sep 17 00:00:00 2001
From: Jose Luis Rivero <jrivero@osrfoundation.org>
Date: Wed, 10 Jan 2024 18:14:45 +0100
Subject: [PATCH] Revert "Force CI: revert"

This reverts commit 75d57b6091491f70776189b3019752458c2b3db0.
---
 .github/workflows/ci-dsl.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci-dsl.yaml b/.github/workflows/ci-dsl.yaml
index fae8ba9b5..de37d7f96 100644
--- 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/**'