deploy docs

Helsinki-NLP · Sep 20, 2023 · dad66ee · dad66ee
1 parent 4339de3
commit dad66ee
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -404,3 +404,10 @@ jobs:
         set -e
         # Check that docs are built without errors
         cd docs/ && make html && cd ..
+    - name: Deploy docs
+      uses: JamesIves/[email protected]
+      with:
+        GITHUB_TOKEN:  ${{ secrets.GITHUB_TOKEN }}
+        BRANCH: gh-pages
+        FOLDER: docs/build/html
+        CLEAN: true