Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
github/workflows: rename the job for the docs check
Copy and pasted from commit msg lint obviously, but I forgot to rename it. Oops. Capitalize the name field while I'm at it (seems like all the other workflows do it too).
- Loading branch information