docs.yaml

name: Documentation

on:
  push:
    branches:
      - dev
    tags:
      - 'v*'
  pull_request:
  workflow_dispatch:

jobs:
  build:
    permissions:
      contents: write
    runs-on: ubuntu-latest
    steps:
      - name: Checkout code
        uses: actions/checkout@v4
      - name: Set up julia
        uses: julia-actions/setup-julia@v1
        with:
          version: '1'
          arch: x64
      - name: Install dependencies
        run: |
            import Pkg
            Pkg.develop(Pkg.PackageSpec(path=pwd()))
            Pkg.instantiate()
            Pkg.add("Documenter")
        shell: julia --project=docs/ --color=yes {0}
      - name: Build and deploy
        run: |
          julia --project=docs/ --color=yes docs/make.jl
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
          GITHUB_EVENT_NAME: push