Update to GitHub actions

.github/workflows/publish.yml

@@ -3,16 +3,23 @@ on:
   push:
     branches: 
       - main
+  workflow_dispatch:      
+permissions:
+  contents: write
 jobs:
   deploy:
     name: Build and publish MkDocs website
     if: github.event.repository.fork == false    
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-      - uses: actions/setup-python@v4
+      - name: Checkout repo content
+        uses: actions/checkout@v4
+      - name: Setup Python
+        uses: actions/setup-python@v5
         with:
           python-version: 3.x
-      - run: pip install mkdocs-material mkdocs-minify-plugin
-      - run: mkdocs gh-deploy --force
+      - name: Install dependencies
+        run: pip install mkdocs-material mkdocs-minify-plugin
+      - name: Deploy MkDocs docu to GitHub Pages
+        run: mkdocs gh-deploy --force
         working-directory: website