From 4abbb8f4e8633b2c381dccab918ba209ef8016a0 Mon Sep 17 00:00:00 2001
From: Quentin Gliech <quentingliech@gmail.com>
Date: Fri, 10 Dec 2021 16:48:37 +0100
Subject: [PATCH] ci: limit the number of concurrent builds

---
 .github/workflows/check.yaml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/check.yaml b/.github/workflows/check.yaml
index ac2e2c531..781768d01 100644
--- a/.github/workflows/check.yaml
+++ b/.github/workflows/check.yaml
@@ -346,6 +346,13 @@ jobs:
 
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v1
+        with:
+          config-inline: |
+            [registry."docker.io"]
+              mirrors = ["mirror.gcr.io"]
+
+            [worker.oci]
+              max-parallelism = 2
 
       - name: Login to GitHub Container Registry
         if: github.event_name != 'pull_request'