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

Commits

Commits on Sep 2, 2026