workflow for docs #2
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Deploy Documenter.jl generated documentation | |
on: | |
push: | |
branches: | |
- main | |
jobs: | |
deploy: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout repository | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 1 # Only fetch the latest commit to keep the job light. | |
- name: Set up Julia | |
uses: julia-actions/setup-julia@v1 | |
with: | |
version: "1.10" # Specify the Julia version you are using. | |
- name: Set development mode for Fastback | |
run: | | |
cd docs | |
julia --project -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd()))' | |
- name: Install dependencies | |
run: | | |
cd docs | |
julia --project --eval 'using Pkg; Pkg.resolve(); Pkg.instantiate()' | |
- name: Build documentation | |
run: | | |
cd docs | |
julia --project make.jl | |
- name: Deploy to GitHub Pages | |
uses: peaceiris/actions-gh-pages@v3 | |
with: | |
github_token: ${{ secrets.GITHUB_TOKEN }} | |
publish_dir: docs/build # This is where Documenter.jl outputs the generated docs. | |
keep_files: false # Remove all existing files in the target directory before publishing. |