forked from mistralai/mistral-vibe
-
Notifications
You must be signed in to change notification settings - Fork 0
65 lines (56 loc) · 1.63 KB
/
Copy pathpublish-docs.yml
File metadata and controls
65 lines (56 loc) · 1.63 KB
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
name: Publish documentation site
# Builds the docToolchain microsite (./dtcw generateSite) and deploys it
# to GitHub Pages. Requires repository Settings -> Pages -> Source set to
# "GitHub Actions".
on:
push:
branches: [main]
paths:
- 'src/docs/**'
- 'src/site/**'
- 'docToolchainConfig.groovy'
- 'dtcw'
- '.github/workflows/publish-docs.yml'
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
# Allow only one concurrent deployment; let an in-progress run finish.
concurrency:
group: github-pages
cancel-in-progress: false
jobs:
build:
runs-on: ubuntu-latest
env:
# Used by the microsite for "edit on GitHub" links.
DTC_PROJECT_BRANCH: ${{ github.ref_name }}
steps:
- name: Check out repository
uses: actions/checkout@v4
with:
# docToolchain reads git history for page metadata.
fetch-depth: 0
- name: Generate microsite with docToolchain
# dtcw auto-detects Docker on the runner and uses the
# doctoolchain/doctoolchain image — no local JDK needed.
run: |
chmod +x ./dtcw
./dtcw generateSite
- name: Configure GitHub Pages
uses: actions/configure-pages@v5
- name: Upload site artifact
uses: actions/upload-pages-artifact@v3
with:
path: build/microsite/output
deploy:
needs: build
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4