Merge pull request #478 from afuetterer/docs-workflow

ci: rename docs workflow

Author: chrismattmann

.github/workflows/documentation.yml

@@ -1,10 +1,10 @@
 # Simple workflow for deploying static content to GitHub Pages
-name: Generate and deploy documentation
+name: Documentation
 
 on:
   # Runs on pushes targeting the default branch
   push:
-    branches: ["main", "master", "add-automated-documentation"]
+    branches: ["master"]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: