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

…dering it redundant.
kiwix · Dec 21, 2023 · 394e72b · 394e72b
1 parent a4227f0
commit 394e72b
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: