CI: rename the docu job

The short name is referenced in the branch protection rules, and just 'build' is not a very clear name for a job there.
oscar-system · Dec 1, 2021 · 45e4374 · 45e4374
1 parent 03faa56
commit 45e4374
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/Docu.yml b/.github/workflows/Docu.yml
@@ -15,7 +15,7 @@ concurrency:
   cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
 
 jobs:
-  build:
+  deploy_docs:
     #runs-on: self-hosted
     runs-on: ubuntu-latest
     steps: