Copilot 33dfce0507 Fix Ostrich Benchmark OOM kill: switch to Release build (#9066) ... * Initial plan * Fix OOM kill in Ostrich Benchmark workflow: use Release instead of Debug build Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/3c146cc1-cdf8-4a25-90ad-31c366dbce40 --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>		2026-03-20 13:02:41 -07:00
..
deeptest.md	Add DeepTest agentic workflow for automated test generation (#8432)	2026-01-29 18:53:12 -08:00
ostrich-benchmark.md	Fix Ostrich Benchmark OOM kill: switch to Release build (#9066)	2026-03-20 13:02:41 -07:00
qf-s-benchmark.md	qf-s-benchmark: debug build + seq tracing + seq-fast/nseq-slow trace analysis (#8988)	2026-03-14 12:21:42 -07:00
soundness-bug-detector.md	Add agentic workflow for automated soundness bug detection and reproduction (#8275)	2026-01-21 15:29:20 -08:00
specbot.md	SpecBot: Output to Discussions instead of Pull Requests (#8399)	2026-01-27 13:21:09 -08:00