Check PR title for commit convention

fix: respect type reducibility when generating injectivity lemmas #1308

Sign in to view logs

Triggered via pull request February 10, 2024 17:38

eric-wieser

edited #2276

eric-wieser:patch-3

Status Success

Total duration 9s

Artifacts –

pr-title.yml

on: pull_request