Check PR body for changelog convention

feat: split `Lean.Kernel.Environment` from `Lean.Environment` #84

Sign in to view logs

Workflow file for this run

.github/workflows/pr-body.yml at 942826e

File not found

The workflow file could not be found.