split jobs

Halbaroth · Jul 22, 2024 · 9e0b7e0 · 9e0b7e0
1 parent 46a0428
commit 9e0b7e0
Showing 1 changed file with 18 additions and 1 deletion.
diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
@@ -38,10 +38,27 @@ jobs:
       - name: Build documentation
         run: opam exec -- make doc
 
+      - name: Upload artifact
+        uses: actions/upload-artifact@master
+        with:
+          name: artifact-doc
+          path: _build/doc
+
+  deploy:
+    needs: build
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Download artifact
+        uses: actions/download-artifact@master
+        with:
+          name: artifact-doc
+          path: build_doc
+
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         with:
-          publish_dir: _build/doc
+          publish_dir: build_doc
           destination_dir: dev
           enable_jekyll: true
           github_token: ${{ secrets.GITHUB_TOKEN }}