-
Notifications
You must be signed in to change notification settings - Fork 40
89 lines (63 loc) · 2.26 KB
/
pages.yaml
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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
---
name: "Pages"
concurrency:
group: "pages"
on: # yamllint disable-line rule:truthy
pull_request:
push:
jobs:
"pages-build":
runs-on: "ubuntu-22.04"
services:
# The Redis server is necessary to run the app,
# which is necessary to get the Flask routes with `autoflask` directives
redis:
image: "redis"
options: >-
--health-cmd "redis-cli ping"
--health-interval 10s
--health-timeout 5s
--health-retries 5
ports:
- "6379:6379/tcp"
steps:
- name: "Checkout"
uses: "actions/checkout@v4" # tested with v4.0.0
with:
# With shallow clone the "Last updated" timestamp can not get computed
# See "Caveats" at https://pypi.org/project/sphinx-last-updated-by-git
fetch-depth: 0
# Use micromamba instead of conda for better performance
- name: "Setup conda environment with micromamba"
uses: "mamba-org/setup-micromamba@v1" # tested with v1.4.4
with:
environment-file: "conda-environment.yml"
- name: "Install dependencies with Poetry"
run: "${MAMBA_EXE} run --name mxcubeweb poetry install --only=docs,main"
- name: "Build documentation with Sphinx"
run: "${MAMBA_EXE} run --name mxcubeweb make --directory=./docs/ html"
- name: "Upload artifact for GitHub Pages"
# This could potentially be run only when we intent to deploy...
# ...but it can be useful to have the artifact for debugging
# if: "github.ref_name == github.event.repository.default_branch"
uses: "actions/upload-pages-artifact@v2" # tested with v2.0.0
with:
path: "docs/build/html"
"pages-deploy":
if: "github.ref_name == github.event.repository.default_branch"
environment:
name: "github-pages"
url: "${{ steps.deployment.outputs.page_url }}"
needs:
- "pages-build"
permissions:
pages: "write"
id-token: "write"
runs-on: "ubuntu-22.04"
steps:
- name: "Setup GitHub Pages"
uses: "actions/configure-pages@v3" # tested with v3.0.6
- name: "Deploy to GitHub Pages"
id: "deployment"
uses: "actions/deploy-pages@v2" # tested with 2.0.4
... # EOF