Skip to content
Check stdlib_flags.h modifications

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

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

Triggered via pull request September 2, 2026 17:59
@leanprover-botleanprover-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