1name: Documentation
 2
 3env:
 4  GITHUB_CI: true
 5
 6on:
 7  # For manual run
 8  workflow_dispatch:
 9  push:
10    tags:
11      - 'v*'
12  schedule:
13    - cron:  '0 4 * * 0'  # Run every Sunday
14concurrency:
15  # Skip intermediate builds: always.
16  # Keep only one build for each PR and other event.
17  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
18  cancel-in-progress: true
19
20jobs:
21  docs:
22    permissions:
23      contents: write
24      statuses: write
25    name: Documentation
26    runs-on: ubuntu-latest
27    timeout-minutes: 60
28    steps:
29      - uses: actions/checkout@v4
30      - uses: julia-actions/setup-julia@v1
31        with:
32          version: '1'
33      - uses: julia-actions/cache@v1
34        with:
35          cache-name: 'docs'
36      - uses: julia-actions/julia-buildpkg@v1
37      - uses: julia-actions/julia-docdeploy@v1
38        env:
39          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}