Skip to content
Check PR title for commit convention

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

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

Triggered via pull request September 2, 2026 17:29
@joehendrixjoehendrix
edited #15001
joehendrix:jhx/bare_cmake
Status Failure
Total duration 6s
Artifacts –

pr-title.yml

on: pull_request
check-pr-title
2s
check-pr-title
Fit to window
Zoom out
Zoom in

Annotations

1 error
check-pr-title
PR title does not follow the Commit Convention (https://leanprover.github.io/lean4/doc/dev/commit_convention.html).