changeset 29589:c3d463a3c472

GitHub-CI: Avoid running multiple actions at the same time * .github/workflows/make.yaml: Add a concurrency group.
author Markus Mützel <markus.muetzel@gmx.de>
date Sun, 02 May 2021 13:53:14 +0200
parents b4cb9d04f3cf
children d1a2ea05688b
files .github/workflows/make.yaml
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.github/workflows/make.yaml	Wed Jul 18 22:34:08 2018 -0400
+++ b/.github/workflows/make.yaml	Sun May 02 13:53:14 2021 +0200
@@ -1,5 +1,6 @@
 name: make
 on: [push]
+concurrency: ci-${{ github.ref }}
 
 jobs: