Check PR title for commit convention

feat: allow anonymous equality proofs in `match` expressions #14616

Sign in to view logs

Triggered via pull request January 29, 2025 16:47

jrr6

opened #6853

jrr6:match-hole

Status Success

Total duration 14s

Artifacts –

pr-title.yml

on: pull_request