Check PR title for commit convention

fix: `simp` fails to discharge `autoParam` premises even when it can reduce them to `True` #1362

Sign in to view logs

Triggered via pull request February 12, 2024 23:43

leodemoura

opened #3314

issue_3257

Status Success

Total duration 11s

Artifacts –

pr-title.yml

on: pull_request