From bb1c8ab230003c95174b37d506437d85d3157c02 Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Fri, 20 Mar 2026 14:17:31 -0700
Subject: [PATCH] Fix ostrich workflow OOM kill: use ninja -j1 to limit
 compilation memory (#9068)

Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/8c8cf73c-a94f-4bcf-b238-d35f8cdbb731

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/agentics/ostrich-benchmark.md | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/.github/agentics/ostrich-benchmark.md b/.github/agentics/ostrich-benchmark.md
index ec1b04edd..9f4b2473a 100644
--- a/.github/agentics/ostrich-benchmark.md
+++ b/.github/agentics/ostrich-benchmark.md
@@ -27,9 +27,11 @@ mkdir -p build
 cd build
 cmake .. -G Ninja -DCMAKE_BUILD_TYPE=Release -DZ3_BUILD_DOTNET_BINDINGS=ON 2>&1 | tail -20
 
-# Build z3 binary and .NET bindings (this takes ~15-17 minutes)
-ninja z3 2>&1 | tail -30
-ninja build_z3_dotnet_bindings 2>&1 | tail -20
+# Build z3 binary and .NET bindings
+# Use -j1 to limit parallelism and avoid OOM on the GitHub Actions runner
+# (parallel C++ compilation + agent LLM memory together exceed available RAM)
+ninja -j1 z3 2>&1 | tail -30
+ninja -j1 build_z3_dotnet_bindings 2>&1 | tail -20
 
 # Verify the build succeeded
 ./z3 --version