diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b1a715c..6c44f73 100644
--- 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: