Allow manual triggering of deployment

Author: specious

.github/workflows/deploy.yml

@@ -3,6 +3,8 @@ on:
   push:
     branches:
       - main
+  workflow_dispatch: # Makes it also possible to manually trigger deployment
+
 jobs:
   build-and-deploy:
     runs-on: ubuntu-latest
@@ -24,7 +26,7 @@ jobs:
           ln -s public/index.html public/404.html
 
       - name: Deploy
-        uses: JamesIves/github-pages-deploy-action@v4
+        uses: JamesIves/github-pages-deploy-action@4.1.5
         with:
           branch: gh-pages
           folder: public