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