Skip to content
Check awaiting-mathlib label

fix: use CMAKE_COMMAND instead of bare cmake in build #35038

Sign in to view logs

fix: use CMAKE_COMMAND instead of bare cmake in build

fix: use CMAKE_COMMAND instead of bare cmake in build #35038

Triggered via pull request September 2, 2026 18:53
@mathlib-lean-pr-testingmathlib-lean-pr-testing[bot]
labeled #15001
Status Success
Total duration 8s
Artifacts –

awaiting-mathlib.yml

on: pull_request_target
check-awaiting-mathlib
4s
check-awaiting-mathlib
Fit to window
Zoom out
Zoom in