Check PR title for commit convention

fix: change `Quotient.sound` to a `theorem` #3121

Sign in to view logs

Triggered via pull request March 25, 2024 18:24

eric-wieser

opened #3765

eric-wieser:sound-is-a-theorem

Status Success

Total duration 13s

Artifacts –

pr-title.yml

on: pull_request