Check PR title for commit convention

fix: naming convention for `UInt` lemmas #7558

Sign in to view logs

Triggered via pull request August 12, 2024 00:49

kim-em

synchronize #4514

fgdorais:fix-uint-names

Status Success

Total duration 11s

Artifacts –

pr-title.yml

on: pull_request