Check PR title for commit convention

feat: lake: build without `leanc` #12055

Sign in to view logs

Triggered via pull request November 22, 2024 20:52

tydeu

edited #6176

tydeu:lake/no-leanc

Status Success

Total duration 13s

Artifacts –

pr-title.yml

on: pull_request