-
Notifications
You must be signed in to change notification settings - Fork 5
49 lines (45 loc) · 1.29 KB
/
docs.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
name: Docs
on:
push:
branches: [main, update/pixi-lock, update/julia-manifest]
paths-ignore: [".teamcity/**"]
pull_request:
merge_group:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
# needed to allow julia-actions/cache to delete old caches that it has created
permissions:
actions: write
contents: read
jobs:
publish:
name: Docs Julia
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- uses: actions/checkout@v4
- uses: julia-actions/cache@v1
with:
cache-compiled: "true"
cache-registries: "true"
- uses: prefix-dev/[email protected]
with:
pixi-version: "latest"
- name: Prepare pixi
run: pixi run install-ci
- name: Check Quarto installation and all engines
run: pixi run quarto-check
- name: Generate Julia docs
run: pixi run build-julia-docs
- name: Render Quarto Project
run: pixi run quarto-render
- name: Publish Quarto Project
if: github.ref == 'refs/heads/main'
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/_site
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}