Remove generated docs #12
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 | |
| force_orphan: true |