Check PR body for changelog convention

fix: liberalize rules for atoms by allowing leading '' #582

Sign in to view logs

Triggered via pull request November 18, 2024 08:29

leanprover-community-bot

labeled #6114

david-christiansen:liberal-token-single-quotes

Status Success

Total duration 11s

Artifacts –

pr-body.yml

on: pull_request