Force CI

Signed-off-by: Jose Luis Rivero <[email protected]>
gazebo-tooling · Oct 25, 2023 · 36b93cc · 36b93cc
1 parent 4d64219
commit 36b93cc
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: