chore(ci): drop redundant `push` trigger in check.yml (4 runs → 2) #171

New issue

Closed

opened 2026-04-29 00:16:31 +00:00 by maximus · 0 comments

maximus commented

2026-04-29 00:16:31 +00:00

Owner

Goal

Réduire de moitié la consommation CI Forgejo en supprimant le déclencheur push redondant dans .forgejo/workflows/check.yml. Garder uniquement pull_request.

Why

Actuellement le workflow se déclenche sur deux événements :

on:
  push:
    branches-ignore:
      - main
  pull_request:
    branches:
      - main

Quand on push une branche puis ouvre une PR (workflow standard via /fix-issue), les deux triggers feu et on obtient 4 runs identiques au lieu de 2 — visible sur PR #170 :

- PR Check / rust (push): pending
- PR Check / frontend (push): pending
- PR Check / rust (pull_request): pending
- PR Check / frontend (pull_request): pending

Mêmes commits, mêmes commandes, deux fois. Pure perte de runner-minutes.

Scope

.forgejo/workflows/check.yml : retirer le bloc on.push ; garder on.pull_request: branches: [main].
(Optionnel mais recommandé) Ajouter une concurrency group pour annuler les runs obsolètes sur force-push :
```
concurrency:
  group: ci-${{ github.ref }}
  cancel-in-progress: true
```
Idem pour .github/workflows/check.yml (miroir GitHub) si la même duplication existe.
Tester en poussant une branche sans PR : aucun run ne doit démarrer (feedback uniquement à l'ouverture de la PR — accepté comme trade-off).

Trade-off accepté

Plus de feedback CI sur une branche locale poussée mais sans PR ouverte. Workflow /fix-issue ouvre toujours une PR juste après le push, donc l'écart est de quelques secondes. Le développeur qui veut un feedback CI sans PR pourra ouvrir un draft PR.

Spec source

Conversation 2026-04-28 sur PR #170 (visible dans les 4 lignes pending de la PR).

## Goal Réduire de moitié la consommation CI Forgejo en supprimant le déclencheur `push` redondant dans `.forgejo/workflows/check.yml`. Garder uniquement `pull_request`. ## Why Actuellement le workflow se déclenche sur **deux** événements : ```yaml on: push: branches-ignore: - main pull_request: branches: - main ``` Quand on push une branche puis ouvre une PR (workflow standard via `/fix-issue`), les deux triggers feu et on obtient 4 runs identiques au lieu de 2 — visible sur PR #170 : ``` - PR Check / rust (push): pending - PR Check / frontend (push): pending - PR Check / rust (pull_request): pending - PR Check / frontend (pull_request): pending ``` Mêmes commits, mêmes commandes, deux fois. Pure perte de runner-minutes. ## Scope - [ ] `.forgejo/workflows/check.yml` : retirer le bloc `on.push` ; garder `on.pull_request: branches: [main]`. - [ ] (Optionnel mais recommandé) Ajouter une `concurrency` group pour annuler les runs obsolètes sur force-push : ```yaml concurrency: group: ci-${{ github.ref }} cancel-in-progress: true ``` - [ ] Idem pour `.github/workflows/check.yml` (miroir GitHub) si la même duplication existe. - [ ] Tester en poussant une branche sans PR : aucun run ne doit démarrer (feedback uniquement à l'ouverture de la PR — accepté comme trade-off). ## Trade-off accepté Plus de feedback CI sur une branche locale poussée mais sans PR ouverte. Workflow `/fix-issue` ouvre toujours une PR juste après le push, donc l'écart est de quelques secondes. Le développeur qui veut un feedback CI sans PR pourra ouvrir un draft PR. ## Spec source Conversation 2026-04-28 sur PR #170 (visible dans les 4 lignes pending de la PR).