docs.yml

name: Docs
on:
  push:
    branches:
      - main
    tags: '*'
  pull_request:
jobs:
  docs:
    name: Documentation
    runs-on: ubuntu-latest
    env:
      GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
    steps:
      - uses: actions/checkout@v4
      - uses: julia-actions/setup-julia@v2
        with:
          version: '1'
      - uses: julia-actions/cache@v2
      # Round 1: Create interlink dumps
      - run: Core/docs/make.jl
      - run: Store/docs/make.jl
      - run: Common/docs/make.jl
      - run: REPL/docs/make.jl
      - run: Main/docs/make.jl
      # Round 2: Now with resolvable interlinks
      - run: Core/docs/make.jl --only-if-inv-changed
      - run: Store/docs/make.jl --only-if-inv-changed
      - run: Common/docs/make.jl --only-if-inv-changed
      - run: REPL/docs/make.jl --only-if-inv-changed
      # Combine
      - name: MultiDocs
        run: |
          git config user.name github-actions
          git config user.email github-actions@github.com
          julia --project=MultiDocs -e 'using Pkg; Pkg.instantiate()'
          julia --project=MultiDocs MultiDocs/make-multi.jl