Fixing text #3
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: [ "docs" ] | |
| pull_request: | |
| branches: [ "docs" ] | |
| jobs: | |
| build-docs: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Install packages | |
| run: sudo apt update && sudo apt install -y git build-essential curl wget python3 python3-pip texlive texlive-pictures texlive-latex-extra pdf2svg poppler-utils netpbm imagemagick ghostscript | |
| - name: Install Python packages | |
| run: sudo pip install sphinx sphinx-rtd-theme sphinxcontrib-tikz | |
| - name: Build documentation | |
| run: cd docs && make html | |
| - name: Upload math result for job 1 | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: html-docs | |
| path: ./docs/_build/html | |
| deploy: | |
| runs-on: [self-hosted, linux, x64] | |
| needs: build-docs | |
| steps: | |
| - name: Download docs | |
| uses: actions/download-artifact@v3 | |
| with: | |
| name: html-docs | |
| path: html-docs | |
| - name: Deploy | |
| run: touch ${{ secrets.DEPLOY_PATH }}/html && rm -r ${{ secrets.DEPLOY_PATH }}/html/* && cp -rv html-docs/* ${{ secrets.DEPLOY_PATH }}/html |