merge main into branch

Ngha-Boris · Ngha-Boris · commit 1c7ea78e3219 · 2026-05-13T12:03:36.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, master, dev]
+    branches: main
   pull_request:
-    branches: [main, master, dev]
+    branches: [main]
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
