From 9b4911f8f6c943e4f37da0732789b5cf5b520aff Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Thu, 21 Aug 2025 15:25:53 +0200 Subject: [PATCH] chore: CI: fix `Linux Lake` on PR half-merge (#10029) --- .github/workflows/ci.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8ae0a11d8e..bf9d461a02 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -194,6 +194,8 @@ jobs: "check-stage3": level >= 2, // NOTE: `test-speedcenter` currently seems to be broken on `ubuntu-latest` "test-speedcenter": large && level >= 2, + // made explicit until it can be assumed to have propagated to PRs + "CMAKE_OPTIONS": "-DUSE_LAKE=ON", }, { "name": "Linux Reldebug",