Test ci-macos (2)

daniel-larraz · May 22, 2024 · d5a6e76 · d5a6e76
1 parent 61f7f90
commit d5a6e76
Showing 1 changed file with 1 addition and 4 deletions.
diff --git 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: