From 003881765677d84681ba691ddafe95283308fddc Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 28 May 2022 14:13:50 -0700
Subject: [PATCH] Update nightly.yaml for Azure Pipelines

---
 scripts/nightly.yaml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index dc17d42c5..358804c82 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -97,10 +97,11 @@ stages:
           name: MuslLinux
           image: "quay.io/pypa/musllinux_1_1_x86_64:latest"
           python: "/opt/python/cp310-cp310/bin/python"
+      maxParallel: 2
     displayName: "$(name) build"
     pool:
       vmImage: "Ubuntu-18.04"
-      container: $(image)
+    container: $(image)
     variables:
       python: $(python)
     steps: