Skip to content

Commit

Permalink
split jobs
Browse files Browse the repository at this point in the history
  • Loading branch information
Halbaroth committed Jul 22, 2024
1 parent 46a0428 commit 9e0b7e0
Showing 1 changed file with 18 additions and 1 deletion.
19 changes: 18 additions & 1 deletion .github/workflows/build_doc.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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 }}

0 comments on commit 9e0b7e0

Please sign in to comment.