update workflow

ModProg · ModProg · commit f1093ed12855 · 2025-09-10T23:58:53.000+02:00
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -41,4 +41,4 @@ jobs:
         with:
           path: 'target/doc'
       - id: deployment
-        uses: actions/deploy-pages@v1
+        uses: actions/deploy-pages@v4
