Removed the "develop" branch from CI because it no longer exists, ren…

…dering it redundant.
kiwix · Dec 20, 2023 · 6f7560f · 6f7560f
1 parent 54e0643
commit 6f7560f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,7 +4,6 @@ on:
   push:
     branches:
       - main
-      - develop
   pull_request:
 
 jobs: