Check PR title for commit convention

feat: lemmas for Bitvector division when denominator is zero #9779

Sign in to view logs

Triggered via pull request October 3, 2024 17:13

bollu

opened #5609

opencompl:udiv-denom-zero-lemmas

Status Failure

Total duration 15s

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).