Check PR title for commit convention

chore: remove `LEAN_LAZY_RC` #48269

Sign in to view logs

Triggered via pull request September 3, 2026 12:51

TwoFX

opened #15006

TwoFX:julia/lazy-rc

Status Success

Total duration 6s

Artifacts –

pr-title.yml

on: pull_request