[Repo Assist] [Eng] Add CI concurrency settings to cancel superseded PR runs

Aperta Adatta ai principianti
  • Qualcosa non va?
#4,531 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
1/5
Tempo stimato
Meno di un'ora
Idoneità per principianti
78/100
Tipo di issue
Funzionalità
Chiarezza
Specificata chiaramente
Stato di attività
Tranquilla
Stack tecnologico
github-actions
Ambito
ci-cd, devops

Direzione di ricerca

Apri .github/workflows/build.yml e ispeziona il workflow CI esistente prima di applicare le impostazioni di concurrency proposte. Conferma che le esecuzioni più recenti per lo stesso ramo della pull request annullino quelle precedenti, mentre i push su main rimangano non annullati; convalida la configurazione del workflow tramite l’esecuzione risultante di GitHub Actions.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

agentic-workflows automation repo-assist

🤖 This PR was created by Repo Assist, an automated AI assistant.

Summary

Adds a concurrency group to the CI workflow so that when multiple commits are pushed to the same PR branch in quick succession, only the latest run proceeds — older in-progress runs are automatically cancelled.

This is particularly valuable for this repo because:

  • The CI is slow (60-min timeout for JavaScript tests, plus TypeScript, Python, Rust, Dart, BEAM jobs)
  • Contributors often push quick follow-up fixes after review feedback
  • Without this, each push queues a full separate run, wasting runner minutes

Change

concurrency:
  group: $\{\{ github.workflow }}-$\{\{ github.ref }}
  cancel-in-progress: $\{\{ github.ref != 'refs/heads/main' }}
  • PR branches: a new push cancels any running CI for that same PR
  • main branch: all pushes always complete (no cancellation), so merge history is fully validated

Closes #4530

Only the CI workflow configuration was changed — no code logic was modified.

[!WARNING]
Protected Files — Push Permission Denied

This was originally intended as a pull request, but the patch modifies protected files. A human must create the pull request manually.

Protected files

The push was rejected because GitHub Actions does not have workflows permission to push these changes, and is never allowed to make such changes, or other authorization being used does not have this permission.

Create the pull request manually 
# Download the patch from the workflow run
gh run download 24320963492 -n agent -D /tmp/agent-24320963492

# Create a new branch
git checkout -b repo-assist/eng-ci-concurrency-2026-04-9ed9a15555f59fd8 main

# Apply the patch (--3way handles cross-repo patches)
git am --3way /tmp/agent-24320963492/aw-repo-assist-eng-ci-concurrency-2026-04.patch

# Push the branch and create the pull request
git push origin repo-assist/eng-ci-concurrency-2026-04-9ed9a15555f59fd8
gh pr create --title '[Repo Assist] [Eng] Add CI concurrency settings to cancel superseded PR runs' --base main --head repo-assist/eng-ci-concurrency-2026-04-9ed9a15555f59fd8 --repo fable-compiler/Fable

Generated by Repo Assist · ● 6.5M · ◷

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@346204513ecfa08b81566450d7d599556807389f
Lingua principale
F#
Stelle
3.2k
Fork
335
Merge medio
18h 54m
PR unite (30g)
155

Preparare l'ambiente

Apri in Codespaces

Avvia il container di sviluppo del progetto nel browser, con il tuo account GitHub.

  • Nessun Dockerfile né file Docker Compose
  • Nessun modello di pull request
  • Nessuna guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di fable-compiler/Fable

Tutte le issue di fable-compiler/Fable

Issue simili

Altre issue su DevOps

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.