(actions) also deploy on workflow_dispatch

Author: MatthijsBurgh

.github/workflows/main.yml

@@ -28,10 +28,10 @@ jobs:
       - name: Script
         run: .ci/script.bash
       - name: Before Deploy
-        if: ${{ (github.event_name == 'schedule' || github.event_name == 'push') && github.ref == 'refs/heads/master' }}
+        if: ${{ (github.event_name == 'schedule' || github.event_name == 'push' || github.event_name == 'workflow_dispatch') && github.ref == 'refs/heads/master' }}
         run: .ci/pre_deploy.bash
       - name: Deploy
-        if: ${{ (github.event_name == 'schedule' || github.event_name == 'push') && github.ref == 'refs/heads/master' }}
+        if: ${{ (github.event_name == 'schedule' || github.event_name == 'push' || github.event_name == 'workflow_dispatch') && github.ref == 'refs/heads/master' }}
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}