From 37269e763a9f695647d5572be9f098d8cca922f2 Mon Sep 17 00:00:00 2001 From: scawful Date: Sat, 4 Oct 2025 16:31:13 -0400 Subject: [PATCH] feat: Enable Z3ED build option in CI configuration --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 70b95425..a7b2a0c6 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -450,6 +450,7 @@ jobs: -DCMAKE_BUILD_TYPE=Release \ -DYAZE_USE_MODULAR_BUILD=ON \ -DZ3ED_AI=ON \ + -DYAZE_BUILD_Z3ED=ON \ -DYAZE_MINIMAL_BUILD=ON \ -Wno-dev \ -GNinja