Check PR title for commit convention

fix: minor typo #15

Sign in to view logs

Re-run triggered October 21, 2024 16:38

david-christiansen

#112

pitmonticone:fix-typos

Status Failure

Total duration 13s

Artifacts –

pr-title.yml

on: pull_request

Annotations

1 error

check-pr-title

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