mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-22 20:39:11 +00:00
Code Activity

Fix ostrich workflow OOM kill: use ninja -j1 to limit compilation memory (#9068)

Browse source 
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>
This commit is contained in:
Copilot 2026-03-20 14:17:31 -07:00 • committed by GitHub
parent 33dfce0507
commit bb1c8ab230
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
.github/agentics/ostrich-benchmark.md vendored
View file

@ -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