Remove develop branch from CI workflow (branch doesn't exist)

xRiskLab · xRiskLab · commit e6468b904dae · 2025-12-14T21:26:58.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -2,9 +2,9 @@ name: CI
 
 on:
   push:
-    branches: [ main, develop ]
+    branches: [ main ]
   pull_request:
-    branches: [ main, develop ]
+    branches: [ main ]
 
 jobs:
   test:
