Try fixing deploy (#42)

Author: ydaniv

.github/workflows/interactdocs.yml

@@ -1,17 +1,11 @@
 name: Deploy Docs to GitHub Pages
 
 on:
-  workflow_dispatch:
-    secrets:
-      GH_EMAIL:
-        required: true
-      GH_USER:
-        required: true
-      USER_GITHUB_TOKEN:
-        required: true
+  push:
+    branches:
+      - master
 
-    # branches:
-    #   - master
+  workflow_dispatch:
 
 permissions:
   contents: read
@@ -73,4 +67,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@13b55b33dd8996121833dbc1db458c793a334630 # v3
+        uses: actions/deploy-pages@1f0c5cde4bc74cd7e1254d0cb4de8d49e9068c7d # v4