Check PR body for changelog convention

feat: revision of Nat/Int lemmas #7991

Sign in to view logs

Triggered via pull request March 11, 2025 22:42

leanprover-community-bot

labeled #7435

nat_int_revision

Status Success

Total duration 11s

Artifacts –

pr-body.yml

on: pull_request