Force testing on push

Signed-off-by: Jose Luis Rivero <[email protected]>
gazebo-tooling · Oct 11, 2023 · df5e951 · df5e951
1 parent e2f2162
commit df5e951
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,7 +1,7 @@
 name: CI
 
 # base_ref / head_reaf are only available in PRs
-on: [pull_request]
+on: [pull_request, push]
 
 jobs:
   dsl_ci: