From 079f30d160d1bf00f633abb31fb2bc34692c53a3 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sun, 21 Dec 2025 21:33:49 +0000
Subject: [PATCH] Limit parallelism to avoid QEMU compiler crashes

Set MAKEFLAGS="-j2" to limit make to 2 parallel jobs during ARM64 build.
This prevents GCC segmentation faults that occur under QEMU emulation
when too many parallel compilation jobs are running.

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 scripts/nightly.yaml | 1 +
 scripts/release.yml  | 1 +
 2 files changed, 2 insertions(+)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index c711f2d65..e7db53b8c 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -183,6 +183,7 @@ stages:
         set -e
         docker run --rm -v $(pwd):/workspace -w /workspace \
           -e HOME=/tmp \
+          -e MAKEFLAGS="-j2" \
           quay.io/pypa/manylinux2014_aarch64:latest \
           bash -c "
             set -e
diff --git a/scripts/release.yml b/scripts/release.yml
index 4d770065c..e725a1de6 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -187,6 +187,7 @@ stages:
         set -e
         docker run --rm -v $(pwd):/workspace -w /workspace \
           -e HOME=/tmp \
+          -e MAKEFLAGS="-j2" \
           quay.io/pypa/manylinux2014_aarch64:latest \
           bash -c "
             set -e