diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index e1d9fccf..314370cd 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -286,8 +286,7 @@ jobs: # Linux uses the default Ninja generator; install Ninja first. linux_pre_build_command: "apt-get install -y ninja-build" linux_configure_command: "$CMAKE -G Ninja -B build -S tests/CMakeProject" - # Windows uses CMake's default generator (MSVC), so Ninja is not required. - windows_configure_command: "Invoke-Program cmake -B build -S tests/CMakeProject" + windows_configure_command: "Invoke-Program cmake -G Ninja -B build -S tests/CMakeProject" soundness-docs: name: "Soundness - Docs (override_target_name: ${{ matrix.override_target_name }} ; post command: ${{ matrix.post_command }})"