Update ci.yml

vChavezB · Dec 11, 2023 · 21c77c2 · 21c77c2
1 parent 242a58e
commit 21c77c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -2,7 +2,7 @@ name: CI
 
 on:
   push:
-    branches: [develop, master]
+    branches: [owlapi_fix, master]
     tags:
      - 'v*'
   pull_request: