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