Fix CI workflow to prevent duplicate runs

- Remove push trigger for development branch to avoid duplicate runs
- Remove non-existent develop branch from triggers
- Keep only main for push triggers and main/development for PR triggers

Author: mvalancy

.github/workflows/ci.yml

@@ -2,9 +2,9 @@ name: CI
 
 on:
   push:
-    branches: [main, develop, development]
+    branches: [main]
   pull_request:
-    branches: [main, develop, development]
+    branches: [main, development]
 
 # Prevent duplicate runs
 concurrency: