From 0ae350f8b4a9c95f6c9df09aaf7064b7f2a14380 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Tue, 21 Nov 2023 13:12:30 +0800
Subject: [PATCH] build.sh: bump jobs to 16 for the new build server

---
 automated/build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/automated/build.sh b/automated/build.sh
index 49c31567..875559e4 100755
--- a/automated/build.sh
+++ b/automated/build.sh
@@ -128,8 +128,8 @@ fi
 docker run $ARGS_PREBUILD $IMAGE /bin/bash -c 'GHCVER=$(sed -n "s/^ghc-version: \(.*\)/\1/p" constraints.yaml) && stack setup ghc-$GHCVER --verbosity=error && stack exec --resolver=ghc-$GHCVER curator check-snapshot && curator unpack'
 
 case $SHORTNAME in
-    lts) JOBS=3 ;;
-    nightly) JOBS=3 ;;
+    lts) JOBS=16 ;;
+    nightly) JOBS=16 ;;
 esac
 
 if [ -e "$SHORTNAME-build.log" ]