Check PR title for commit convention

chore: `Simp.Config.implicitDefEqProofs := true` by default #6810

Sign in to view logs

Triggered via pull request July 18, 2024 18:54

leodemoura

opened #4784

implicitDefEqProofs_true

Status Success

Total duration 13s

Artifacts –

pr-title.yml

on: pull_request