From 49286209a01dd5eb529f91a70655caf53d0c7200 Mon Sep 17 00:00:00 2001 From: Dudemanguy Date: Sun, 24 Sep 2023 13:48:19 -0500 Subject: [PATCH] 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). --- .github/workflows/docs.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index c21f7c9ac105f..d1fcb5c7dac76 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -14,11 +14,11 @@ on: - 'DOCS/**' jobs: - commit-msg: + check-docs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v3 - - name: docs + - name: Docs run: | sudo apt-get install python3-docutils rst2man --strip-elements-with-class=contents --halt=2 ./DOCS/man/mpv.rst mpv.1