Check PR title for commit convention

fix: do not strip dotted components from lean module names #44

Sign in to view logs

Triggered via pull request November 29, 2023 18:05

eric-wieser

synchronize #2994

eric-wieser:fix-extensions

Status Success

Total duration 13s

Artifacts –

pr-title.yml

on: pull_request