Skip to content
Check stdlib_flags.h modifications

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

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 #13782

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

check-stdlib-flags.yml

on: pull_request_target
check-stdlib-flags
3s
check-stdlib-flags
Fit to window
Zoom out
Zoom in