Check PR title for commit convention

chore: copyright headers and Lean imports size in CI #2

Sign in to view logs

Workflow file for this run

.github/workflows/pr-title.yml at 3df3ed8

File not found

The workflow file could not be found.