Check PR title for commit convention

refactor: let Nat.mod reduce more #4463

Sign in to view logs

Triggered via pull request May 13, 2024 08:59

nomeata

synchronize #4145

joachim/better-nat-mod

Status Success

Total duration 12s

Artifacts –

pr-title.yml

on: pull_request