Check PR body for changelog convention

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

Sign in to view logs

Workflow file for this run

.github/workflows/pr-body.yml at 0a25f44

File not found

The workflow file could not be found.