Check PR title for commit convention

chore: mark Mul.mul and HMul.hMul as match_pattern #14644

Sign in to view logs

Triggered via pull request January 30, 2025 05:55

jcommelin

opened #6863

jmc-match-pattern-mul

Status Success

Total duration 13s

Artifacts –

pr-title.yml

on: pull_request