Skip to content

fix: use CMAKE_COMMAND instead of bare cmake in build - #15001

Open
joehendrix wants to merge 1 commit into
leanprover:masterfrom
joehendrix:jhx/bare_cmake
Open

fix: use CMAKE_COMMAND instead of bare cmake in build#15001
joehendrix wants to merge 1 commit into
leanprover:masterfrom
joehendrix:jhx/bare_cmake

fix: Use ${CMAKE_COMMAND} instead of bare cmake in build.

0f3e28b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-stdlib-flags
succeeded Sep 2, 2026 in 4s