Skip to content

Re-export the C API in Rust bindings #7

Re-export the C API in Rust bindings

Re-export the C API in Rust bindings #7

Workflow file for this run

name: Documentation
on:
push:
branches: [master]
tags: ["*"]
pull_request:
# Check all PR
concurrency:
group: docs-${{ github.ref }}
cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
jobs:
build-and-publish:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: setup rust
uses: dtolnay/rust-toolchain@master
with:
toolchain: stable
- name: setup Python
uses: actions/setup-python@v5
with:
python-version: "3.12"
- name: install dependencies
run: |
# https://github.com/tox-dev/tox/issues/3238
python -m pip install tox==4.14.0
sudo apt install doxygen
- name: build documentation
env:
# Use the CPU only version of torch when building/running the code
PIP_EXTRA_INDEX_URL: https://download.pytorch.org/whl/cpu
run: tox -e docs
- name: put documentation in the website
run: |
git clone https://github.com/$GITHUB_REPOSITORY --branch gh-pages gh-pages
rm -rf gh-pages/.git
cd gh-pages
REF_KIND=$(echo $GITHUB_REF | cut -d / -f2)
if [[ "$REF_KIND" == "tags" ]]; then
TAG=${GITHUB_REF#refs/tags/}
mv ../docs/build/html $TAG
else
rm -rf latest
mv ../docs/build/html latest
fi
- name: deploy to gh-pages
if: github.event_name == 'push'
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./gh-pages/
force_orphan: true