From c43f733b6a25cdd95a91d595493fe2e9fc5347d3 Mon Sep 17 00:00:00 2001 From: Sluijsens Date: Sun, 2 Aug 2026 16:39:43 +0200 Subject: [PATCH] Annuleer lopende PR-run bij nieuwe push naar dezelfde PR Voorkomt dat CI onnodig doorloopt op een verouderde commit. Runs op push naar master en workflow_dispatch worden nooit geannuleerd (groep valt terug op github.run_id, altijd uniek), zodat de automatische test-deploy niet halverwege afgebroken kan worden. --- .gitea/workflows/continuous_integration.yaml | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/.gitea/workflows/continuous_integration.yaml b/.gitea/workflows/continuous_integration.yaml index 22aa7ec..4fd9a88 100644 --- a/.gitea/workflows/continuous_integration.yaml +++ b/.gitea/workflows/continuous_integration.yaml @@ -20,6 +20,17 @@ on: push: branches: [master] +# Annuleert een lopende workflow-run voor dezelfde PR zodra er een nieuwe push +# naar die PR gebeurt (bv. een extra commit tijdens review) - zo draait de CI +# niet nodeloos door op een verouderde commit. De group-key valt terug op +# github.run_id (altijd uniek) voor niet-PR events (push naar master, +# workflow_dispatch), zodat die runs elkaar NOOIT annuleren - met name de +# automatische test-deploy bij een push naar master mag niet halverwege +# afgebroken worden door een snel daaropvolgende tweede push. +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }} + cancel-in-progress: true + # Herbruikbare instellingen voor deze workflow. Pas deze aan op één plek als # de Node/pnpm-versie, de artifact-naam/pad of de testdeploy-bestemming # wijzigt. Let op: de env-context is NIET beschikbaar in de `with:`-inputs