From ef2dc0f66aec683f6f1d18bc04cb7593687e5855 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Sat, 16 May 2026 19:11:25 +0200 Subject: [PATCH] chore: CI: build everything with Lake (#13721) --- .github/workflows/ci.yml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a81a43732f..b03858b605 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -421,12 +421,6 @@ jobs: // "CTEST_OPTIONS": "-R \"leantest_1007\\.lean|leantest_Format\\.lean|leanruntest\\_1037.lean|leanruntest_ac_rfl\\.lean|leanruntest_tempfile.lean\\.|leanruntest_libuv\\.lean\"" // } ]; - for (const job of matrix) { - if (job["prepare-llvm"]) { - // `USE_LAKE` is not compatible with `prepare-llvm` currently - job["CMAKE_OPTIONS"] = (job["CMAKE_OPTIONS"] ? job["CMAKE_OPTIONS"] + " " : "") + "-DUSE_LAKE=OFF"; - } - } if (lakeCi) { for (const job of matrix) { job["CMAKE_OPTIONS"] = (job["CMAKE_OPTIONS"] ? job["CMAKE_OPTIONS"] + " " : "") + "-DLAKE_CI=ON";