Check PR body for changelog convention

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

Sign in to view logs

Triggered via pull request January 29, 2025 16:47

jrr6

opened #6853

jrr6:match-hole

Status Success

Total duration 17s

Artifacts –

pr-body.yml

on: pull_request