From 328302335f3aa450b4e7d20fd414226577464f6e Mon Sep 17 00:00:00 2001 From: scawful Date: Sun, 28 Sep 2025 20:18:47 -0400 Subject: [PATCH] enable z3ed on release --- .github/workflows/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index f11491df..5eff7564 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -222,7 +222,7 @@ jobs: -DCMAKE_POLICY_VERSION_MINIMUM=3.16 \ -DYAZE_BUILD_TESTS=ON \ -DYAZE_BUILD_EMU=OFF \ - -DYAZE_BUILD_Z3ED=OFF \ + -DYAZE_BUILD_Z3ED=ON \ -DYAZE_ENABLE_UI_TESTS=ON \ -DYAZE_ENABLE_ROM_TESTS=OFF \ -DYAZE_ENABLE_EXPERIMENTAL_TESTS=OFF \