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

@@ -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