# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1619956394 -7200
# Node ID c3d463a3c472a1a5fdbd1cad1650296a488c1cfd
# Parent  b4cb9d04f3cf20bf57faec0cb6efafc5e4d4318c
GitHub-CI: Avoid running multiple actions at the same time

* .github/workflows/make.yaml: Add a concurrency group.

diff -r b4cb9d04f3cf -r c3d463a3c472 .github/workflows/make.yaml
--- 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: