-
Notifications
You must be signed in to change notification settings - Fork 312
87 lines (78 loc) · 2.81 KB
/
doc.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
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
name: Docs
on:
push:
branches: [main]
pull_request:
branches: [main]
release:
types: [created]
branches: [main]
workflow_dispatch:
permissions:
contents: write
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: 'recursive'
- uses: actions/setup-python@v3
with:
python-version: '3.9'
- name: Install dependencies
run: |
pip install -r docs/requirements.txt
pip install torch==2.0.0 --index-url https://download.pytorch.org/whl/cpu
BUILD_NO_CUDA=1 pip install .
# Get version.
- name: Get version + subdirectory
run: |
VERSION=$(python -c "from gsplat import __version__; print(__version__)")
echo "VERSION=$VERSION" >> $GITHUB_ENV
echo "DOCS_SUBDIR=versions/$VERSION" >> $GITHUB_ENV
# Hack to overwrite version.
- name: Set version to 'main' for pushes (this will appear in the doc banner)
run: |
sed -i 's/__version__ = ".*"/__version__ = "main"/' gsplat/version.py
if: github.event_name == 'push'
# Get version.
- name: Override subdirectory to `main/` for pushes
run: |
echo "DOCS_SUBDIR=main" >> $GITHUB_ENV
if: github.event_name == 'push'
- name: Sphinx build
# fail on warnings: "-W --keep-going"
run: |
sphinx-build docs/source _build
# Deploy to version-dependent subdirectory.
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: _build/
destination_dir: ${{ env.DOCS_SUBDIR }}
keep_files: false # This will only erase the destination subdirectory.
cname: docs.gsplat.studio
if: github.event_name != 'pull_request'
# We'll maintain an index of all versions under docs.gsplat.studio/versions.
# This will be useful for dynamically generating lists of possible doc links.
- name: Update versions index.txt
run: |
git fetch
git checkout . # Revert change to version.py from earlier...
git checkout gh-pages
git pull
git config --global user.email "[email protected]"
git config --global user.name "Ruilong Li"
FILE="versions/index.txt" # Replace with your file path
if ! grep -qx "$VERSION" "$FILE"; then
echo "$VERSION" >> "$FILE"
git add $FILE
git commit -m "Update versions.txt with new version $VERSION"
git push origin gh-pages
fi
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
VERSION: ${{ env.VERSION }}
if: github.event_name == 'release'