Check PR body for changelog convention

feat: let synth order checker detect generalized projections #7131

Sign in to view logs

Triggered via pull request March 3, 2025 22:23

leanprover-community-bot

labeled #7310

kmill:computeSynthOrder_gen_proj

Status Success

Total duration 9s

Artifacts –

pr-body.yml

on: pull_request