Check PR title for commit convention

feat: unify equational theorems between wf and structural recursion #7754

Sign in to view logs

Triggered via pull request August 15, 2024 14:08

nomeata

synchronize #5055

joachim/split-structural-eqns-deeper

Status Success

Total duration 10s

Artifacts –

pr-title.yml

on: pull_request