add CI steps

RemyDegenne · Dec 26, 2023 · 9836729 · 9836729
1 parent f22a4ec
commit 9836729
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -87,10 +87,14 @@ jobs:
         run: |
           mv .lake/build/doc docs/docs
 
-      #- name: Upload docs & blueprint artifact
-      #  uses: actions/upload-pages-artifact@v1
-      #  with:
-      #    path: docs/_site
+      - name: Upload docs & blueprint artifact
+        uses: actions/upload-pages-artifact@v1
+        with:
+          path: docs/_site
+
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v1
 
       - name: Make sure the cache works
         run: |