Check PR title for commit convention

feat: use structural recursion in Fin.induction #4041

Sign in to view logs

Triggered via pull request April 28, 2024 15:38

nomeata

synchronize #4010

joachim/fin-induction-structural

Status Success

Total duration 12s

Artifacts –

pr-title.yml

on: pull_request