forked from conda/rattler
-
Notifications
You must be signed in to change notification settings - Fork 0
171 lines (145 loc) · 6 KB
/
docs.yaml
File metadata and controls
171 lines (145 loc) · 6 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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
name: Deploy Docs
on:
push:
branches:
- main
tags:
- "v*"
paths:
- "py-rattler/docs/**"
- "py-rattler/mkdocs.yml"
- "py-rattler/pixi.toml"
- "crates/**"
- "Cargo.toml"
- ".github/workflows/docs.yaml"
pull_request:
branches:
- main
paths:
- "py-rattler/docs/**"
- "py-rattler/mkdocs.yml"
- "py-rattler/pixi.toml"
- ".github/workflows/docs.yaml"
workflow_dispatch:
inputs:
tag:
description: "Tag to deploy (e.g. v0.23.0), or leave empty for dev"
required: false
default: ""
env:
CARGO_TERM_COLOR: always
RUSTFLAGS: "-D warnings"
RUSTDOCFLAGS: --html-in-header header.html
permissions:
contents: read
concurrency:
group: "pages"
cancel-in-progress: true
jobs:
build-docs:
if: github.repository == 'conda/rattler' && github.ref != 'refs/heads/main' && !startsWith(github.ref, 'refs/tags/v')
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
submodules: recursive
- uses: prefix-dev/setup-pixi@82d477f15f3a381dbcc8adc1206ce643fe110fb7 # v0.9.3
with:
manifest-path: py-rattler/pixi.toml
environments: docs
- name: Build Py-rattler Documentation
run: pixi run --manifest-path py-rattler/pixi.toml build-docs
docs-release:
if: github.repository == 'conda/rattler' && (startsWith(github.ref, 'refs/tags/v') || (github.event_name == 'workflow_dispatch' && github.event.inputs.tag != '' && startsWith(github.event.inputs.tag, 'v')))
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- name: Checkout repository
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
fetch-depth: 0
submodules: recursive
- name: Checkout tag
if: github.event_name == 'workflow_dispatch'
run: git checkout tags/${{ github.event.inputs.tag }}
- uses: actions-rs/toolchain@16499b5e05bf2e26879000db0c1d13f7e13fa3af # v1.0.7
with:
profile: minimal
- name: Pre-docs-build
run: |
echo "<meta name=\"robots\" content=\"noindex\">" > header.html
- name: Build Rattler Documentation
run: cargo doc --workspace --no-deps --all-features --lib
- uses: prefix-dev/setup-pixi@82d477f15f3a381dbcc8adc1206ce643fe110fb7 # v0.9.3
with:
manifest-path: py-rattler/pixi.toml
environments: docs
- name: Configure Git user
run: |
git config --local user.email "github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
- name: Extract tag name
if: github.event_name != 'workflow_dispatch'
run: echo "RELEASE_VERSION=${GITHUB_REF#refs/tags/}" >> $GITHUB_ENV
- name: Set version from workflow_dispatch
if: github.event_name == 'workflow_dispatch'
run: echo "RELEASE_VERSION=${{ github.event.inputs.tag }}" >> $GITHUB_ENV
- name: Deploy with mike
run: pixi run --manifest-path py-rattler/pixi.toml deploy-latest
- name: Merge rustdoc into gh-pages
run: |
git clone --branch gh-pages https://x-access-token:${{ github.token }}@github.com/${{ github.repository }}.git gh-pages-repo
cp -r target/doc gh-pages-repo/rattler
echo '<meta http-equiv="refresh" content="0; url=rattler/index.html">' > gh-pages-repo/index.html
echo "User-Agent: *" > gh-pages-repo/robots.txt
echo "Disallow: /" >> gh-pages-repo/robots.txt
touch gh-pages-repo/.nojekyll
cd gh-pages-repo
git config user.email "github-actions[bot]@users.noreply.github.com"
git config user.name "github-actions[bot]"
git add .
git diff --staged --quiet || (git commit -m "docs: add rustdoc and root redirect" && git push)
docs-dev:
if: github.repository == 'conda/rattler' && (github.ref == 'refs/heads/main' || (github.event_name == 'workflow_dispatch' && (github.event.inputs.tag == '' || !startsWith(github.event.inputs.tag, 'v'))))
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- name: Checkout repository
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
fetch-depth: 0
submodules: recursive
- uses: actions-rs/toolchain@16499b5e05bf2e26879000db0c1d13f7e13fa3af # v1.0.7
with:
profile: minimal
- name: Pre-docs-build
run: |
echo "<meta name=\"robots\" content=\"noindex\">" > header.html
- name: Build Rattler Documentation
run: cargo doc --workspace --no-deps --all-features --lib
- uses: prefix-dev/setup-pixi@82d477f15f3a381dbcc8adc1206ce643fe110fb7 # v0.9.3
with:
manifest-path: py-rattler/pixi.toml
environments: docs
- name: Configure Git user
run: |
git config --local user.email "github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
- name: Deploy with mike
run: pixi run --manifest-path py-rattler/pixi.toml deploy-dev
- name: Merge rustdoc into gh-pages
run: |
git clone --branch gh-pages https://x-access-token:${{ github.token }}@github.com/${{ github.repository }}.git gh-pages-repo
cp -r target/doc gh-pages-repo/rattler
echo '<meta http-equiv="refresh" content="0; url=rattler/index.html">' > gh-pages-repo/index.html
echo "User-Agent: *" > gh-pages-repo/robots.txt
echo "Disallow: /" >> gh-pages-repo/robots.txt
touch gh-pages-repo/.nojekyll
cd gh-pages-repo
git config user.email "github-actions[bot]@users.noreply.github.com"
git config user.name "github-actions[bot]"
git add .
git diff --staged --quiet || (git commit -m "docs: add rustdoc and root redirect" && git push)