fix: use CMAKE_COMMAND instead of bare cmake in build #49114
Triggered via pull request
September 2, 2026 17:59
leanprover-bot
labeled
#15001
Status
Success
Total duration
8s
Artifacts
–