Dudemanguy 49286209a0 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).

2023-09-24 13:52:50 -05:00

..

ISSUE_TEMPLATE

build: officially deprecate waf

2023-01-15 16:46:11 +00:00

workflows

github/workflows: rename the job for the docs check

2023-09-24 13:52:50 -05:00

PULL_REQUEST_TEMPLATE

github: try to get contributors to read contribute.md

2019-10-01 21:44:57 +02:00