diff --git a/.forgejo/workflows/ci.yml b/.forgejo/workflows/ci.yml
index 999ff65..9855477 100644
--- a/.forgejo/workflows/ci.yml
+++ b/.forgejo/workflows/ci.yml
@@ -4,9 +4,6 @@ on:
   pull_request:
     branches:
       - main
-  push:
-    branches-ignore:
-      - main
 
 jobs:
   build-lint-test:
diff --git a/spec/ci-cd.md b/spec/ci-cd.md
index 6f16231..81e7cab 100644
--- a/spec/ci-cd.md
+++ b/spec/ci-cd.md
@@ -6,7 +6,7 @@ Les workflows vivent dans `.forgejo/workflows/` (pas `.github/workflows/` — ce
 
 ### `ci.yml`
 
-Déclenché sur `pull_request` vers `main` et `push` sur toute branche autre que `main`. Étapes : install (`--frozen-lockfile`) → `pnpm lint` → `pnpm build` → `pnpm test` → `pnpm docs:check`. Ne nécessite aucun secret (les dépendances internes entre packages passent par `workspace:*`, résolu localement).
+Déclenché uniquement sur `pull_request` vers `main` (pas de trigger `push` séparé sur la branche source : il ferait tourner la même vérification deux fois sur le même commit dès qu'une PR est ouverte — deux statuts distincts pour un seul résultat logique, et une exposition doublée aux flakys du runner). Étapes : install (`--frozen-lockfile`) → `pnpm lint` → `pnpm build` → `pnpm test` → `pnpm docs:check`. Ne nécessite aucun secret (les dépendances internes entre packages passent par `workspace:*`, résolu localement).
 
 ### `release.yml`