Check PR body for changelog convention

chore: new PR changelog template #2

Sign in to view logs

Triggered via pull request November 6, 2024 16:13

leanprover-community-bot

labeled #5976

Kha:pr-changelog

Status Success

Total duration 8s

Billable time 1m

Artifacts –

pr-body.yml

on: pull_request