Check PR title for commit convention

fix: injectivity theorems for more prelude inductives #14509

Sign in to view logs

Triggered via pull request January 28, 2025 20:22

nomeata

edited #6826

joachim/injectivity

Status Success

Total duration 10s

Artifacts –

pr-title.yml

on: pull_request