Check PR body for changelog convention

fix: line break in `simp?` output #263

Sign in to view logs

Triggered via pull request November 12, 2024 14:16

leanprover-community-bot

labeled #6048

Kha:push-oqovmvqmpnwy

Status Success

Total duration 11s

Artifacts –

pr-body.yml

on: pull_request