More permissive input annotations for get_render() (#339)
#1080
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: docs | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: [main] | |
| release: | |
| types: [created] | |
| workflow_dispatch: | |
| jobs: | |
| docs: | |
| runs-on: ubuntu-latest | |
| steps: | |
| # Check out source. | |
| - uses: actions/checkout@v2 | |
| with: | |
| fetch-depth: 0 # This ensures the entire history is fetched so we can switch branches | |
| - name: Set up Python | |
| uses: actions/setup-python@v1 | |
| with: | |
| python-version: "3.10" | |
| - name: Set up dependencies | |
| run: | | |
| pip install uv | |
| uv pip install --system -e ".[dev]" | |
| uv pip install --system -r docs/requirements.txt | |
| # Get version from pyproject.toml. | |
| - name: Get version + subdirectory | |
| run: | | |
| VERSION=$(python -c "import toml; print(toml.load('pyproject.toml')['project']['version'])") | |
| echo "VERSION=$VERSION" >> $GITHUB_ENV | |
| echo "DOCS_SUBDIR=versions/$VERSION" >> $GITHUB_ENV | |
| # Hack to overwrite version. | |
| - name: Set version to 'latest' for pushes (this will appear in the doc banner) | |
| run: | | |
| python -c "import toml; conf = toml.load('pyproject.toml'); conf['project']['version'] = 'latest'; toml.dump(conf, open('pyproject.toml', 'w'))" | |
| if: github.event_name == 'push' | |
| # Build documentation. | |
| - name: Building documentation | |
| run: | | |
| sphinx-build docs/source docs/build -b dirhtml | |
| # Get version from pyproject.toml. | |
| - name: Override subdirectory to `latest/` for pushes | |
| run: | | |
| echo "DOCS_SUBDIR=latest" >> $GITHUB_ENV | |
| if: github.event_name == 'push' | |
| # Deploy to version-dependent subdirectory. | |
| - name: Deploy to GitHub Pages | |
| uses: peaceiris/actions-gh-pages@v4 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: ./docs/build | |
| destination_dir: ${{ env.DOCS_SUBDIR }} | |
| keep_files: false # This will only erase the destination subdirectory. | |
| cname: viser.studio | |
| if: github.event_name != 'pull_request' | |
| # We'll maintain an index of all versions under viser.studio/versions. | |
| # This will be useful for dynamically generating lists of possible doc links. | |
| - name: Update versions index.txt | |
| run: | | |
| git checkout . # Revert change to pyproject.toml from earlier... | |
| git checkout gh-pages | |
| git pull | |
| git config --global user.email "[email protected]" | |
| git config --global user.name "Brent Yi" | |
| 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' |