diff --git a/.github/workflows/kind2-ci.yml b/.github/workflows/kind2-ci.yml
index c534c7367..8b1ddcad5 100644
--- a/.github/workflows/kind2-ci.yml
+++ b/.github/workflows/kind2-ci.yml
@@ -2,10 +2,7 @@
 name: Kind2 CI
 
 on:
-  pull_request:
-    branches: [ develop ]
-  push:
-    branches: [ develop ]
+  push
 
 jobs:
   kind2-build: