Check PR title for commit convention

fix: swap `Nat.zero_or` and `Nat.or_zero` #4306

Sign in to view logs

Triggered via pull request May 7, 2024 18:38

fgdorais

opened #4094

fgdorais:fix-typo

Status Success

Total duration 13s

Artifacts –

pr-title.yml

on: pull_request