Merge pull request #15 from model-checking/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.6

Bump JamesIves/github-pages-deploy-action from 4.1.4 to 4.7.6

Author: tautschnig

.github/workflows/publish.yaml

@@ -16,7 +16,7 @@ jobs:
 
       - name: Publish documentation
         if: ${{ github.event_name == 'push' && startsWith('refs/heads/main', github.ref) }}
-        uses: JamesIves/github-pages-deploy-action@4.1.4
+        uses: JamesIves/github-pages-deploy-action@v4.7.6
         with:
           branch: gh-pages
           folder: docs/book/