Check PR title for commit convention

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

Sign in to view logs

Triggered via pull request January 30, 2025 06:05

jcommelin

edited #6863

jmc-match-pattern-mul

Status Success

Total duration 9s

Artifacts –

pr-title.yml

on: pull_request