research/argus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs: redirect from index to dev

Browse source
This commit is contained in:
Anand Balakrishnan 2023-10-13 15:36:38 -07:00
parent f510f0067b
commit dbd20fa0cd
3 changed files with 13 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/ci.yaml vendored
View file

@ -101,7 +101,9 @@ jobs:
- name: Build Python package
run: maturin develop --release --manifest-path pyargus/Cargo.toml
- name: Build HTML docs
run: sphinx-multiversion docs _site -b html
run: |
sphinx-multiversion docs _site -b html
cp ./docs/_templates/index-redirect.html _site/index.html
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: github.ref == 'refs/heads/dev' || startsWith(github.ref, 'refs/tags/')