Skip to content

Merge pull request #16 from termi-official/dependabot/github_actions/… #50

Merge pull request #16 from termi-official/dependabot/github_actions/…

Merge pull request #16 from termi-official/dependabot/github_actions/… #50

Workflow file for this run

name: Documentation
on:
pull_request:
push:
branches: [ main ]
tags: [ 'v*' ] # release docs on version tags
jobs:
docs:
name: Julia 1.11 - ubuntu-latest
runs-on: ubuntu-latest
timeout-minutes: 60
permissions:
contents: write # required for pushing to gh-pages
pull-requests: read # required when push_preview = true
concurrency:
group: docs-${{ github.ref }}
cancel-in-progress: true
steps:
- uses: actions/checkout@v6
with:
fetch-depth: 0 # let Documenter see tags/refs for versioning
- uses: julia-actions/setup-julia@v2
with:
version: '1.11'
- uses: julia-actions/cache@v2
- name: Install dependencies
run: julia --project=docs -e 'using Pkg; Pkg.instantiate(); Pkg.precompile()'
- name: Build and deploy
# Skip Dependabot PRs unless you've also added a Dependabot secret named DOCUMENTER_KEY.
# If you DID add that, remove the "if:" line to enable previews for Dependabot too.
if: ${{ github.actor != 'dependabot[bot]' }}
env:
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # your SSH private key (base64)
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # fine to include
GKSwstype: '100' # headless GR plots
run: julia --project=docs --color=yes docs/make.jl