feat: allow rendering of tables to LaTeX #1822
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
| on: | |
| push: | |
| branches: | |
| - main | |
| - "docs-preview-**" | |
| pull_request: | |
| branches: | |
| - main | |
| name: CI Docs | |
| jobs: | |
| build-docs: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: actions/setup-python@v5 | |
| with: | |
| python-version: "3.10" | |
| - name: Install dependencies | |
| run: | | |
| python -m pip install ".[all]" | |
| - uses: quarto-dev/quarto-actions/setup@v2 | |
| - name: Build docs | |
| run: | | |
| make docs-build | |
| # push to netlify ------------------------------------------------------- | |
| # set release name ---- | |
| - name: Configure pull release name | |
| if: ${{github.event_name == 'pull_request'}} | |
| run: | | |
| echo "RELEASE_NAME=pr-${PR_NUMBER}" >> $GITHUB_ENV | |
| env: | |
| PR_NUMBER: ${{ github.event.number }} | |
| - name: Configure branch release name | |
| if: ${{github.event_name != 'pull_request'}} | |
| run: | | |
| # use branch name, but replace slashes. E.g. feat/a -> feat-a | |
| echo "RELEASE_NAME=${GITHUB_REF_NAME/\//-}" >> $GITHUB_ENV | |
| # deploy ---- | |
| - name: Create Github Deployment | |
| uses: bobheadxi/deployments@v1 | |
| id: deployment | |
| if: ${{ !github.event.pull_request.head.repo.fork }} | |
| with: | |
| step: start | |
| token: ${{ secrets.GITHUB_TOKEN }} | |
| env: ${{ env.RELEASE_NAME }} | |
| ref: ${{ github.head_ref }} | |
| transient: true | |
| logs: "https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}" | |
| - name: Netlify docs preview | |
| if: ${{ !github.event.pull_request.head.repo.fork }} | |
| run: | | |
| npm install -g netlify-cli | |
| # push main branch to production, others to preview -- | |
| netlify link --name="gt-python" | |
| if [ "${ALIAS}" == "main" ]; then | |
| netlify deploy --dir=docs/_site --alias="main" | |
| else | |
| netlify deploy --dir=docs/_site --alias="${ALIAS}" | |
| fi | |
| env: | |
| NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }} | |
| NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }} | |
| ALIAS: ${{ steps.deployment.outputs.env }} | |
| - name: Update Github Deployment | |
| uses: bobheadxi/deployments@v1 | |
| if: ${{ !github.event.pull_request.head.repo.fork && always() }} | |
| with: | |
| step: finish | |
| token: ${{ secrets.GITHUB_TOKEN }} | |
| status: ${{ job.status }} | |
| env: ${{ steps.deployment.outputs.env }} | |
| env_url: "https://${{ steps.deployment.outputs.env }}--gt-python.netlify.app" | |
| deployment_id: ${{ steps.deployment.outputs.deployment_id }} | |
| - uses: peaceiris/actions-gh-pages@v3 | |
| if: github.ref == 'refs/heads/main' | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: docs/_site |