type_check.yml: make mypy check optional #25
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 | |
| # when a review is requested on a PR that targets `main`, or the PR is closed: | |
| # pull_request: | |
| # types: [review_requested, closed] | |
| # Prevent multiple PRs from building/deploying the docs at the same time | |
| concurrency: | |
| group: ${{ github.workflow }} | |
| jobs: | |
| docs-build: | |
| name: Build docs | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Check out repo | |
| uses: actions/checkout@v4 | |
| - name: Set up Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: 3.11 | |
| - name: Display Python version | |
| run: python -c "import sys; print(sys.version)" | |
| - name: Install docs dependencies | |
| run: | | |
| sudo apt-get install pandoc | |
| pip install setuptools --upgrade | |
| pip install .[test,docs] | |
| - name: Make docs | |
| run: | | |
| pip install . | |
| cd docs | |
| make html | |
| # check code coverage, store results in the built docs. | |
| # coverage.py creates a .gitignore with '*' where it's run; remove it | |
| # to keep the coverage report and badge on gh-pages | |
| - name: Coverage | |
| # only continue if the PR is not just closed, but also merged: | |
| # if: github.event.pull_request.merged == true | |
| run: | | |
| coverage run --source=py_template -m pytest test/*.py | |
| coverage report | |
| mkdir -p docs/_build/html/coverage | |
| coverage html -d docs/_build/html/coverage | |
| rm docs/_build/html/coverage/.gitignore | |
| coverage-badge -f -o docs/_build/html/coverage/badge.svg | |
| # upload the built docs as an artifact so the files can be accessed | |
| # by a subsequent job in the workflow. | |
| # only store the artifact for 'retention-days' | |
| - name: Upload docs artifact | |
| # if: github.event.pull_request.merged == true | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: built_docs | |
| path: docs/_build/html | |
| retention-days: 1 | |
| docs-deploy: | |
| name: Deploy docs | |
| needs: docs-build | |
| # if: github.event.pull_request.merged == true | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| steps: | |
| - name: Checkout repo | |
| uses: actions/checkout@v4 | |
| # download the previously uploaded 'built_docs' artifact | |
| - name: Download docs artifact | |
| uses: actions/download-artifact@v4 | |
| id: download | |
| with: | |
| name: built_docs | |
| path: docs/_build/html | |
| # - name: Echo download path | |
| # run: echo ${{steps.download.outputs.download-path}} | |
| - name: Disable jekyll builds | |
| run: touch docs/_build/html/.nojekyll | |
| # - name: Display docs file structure | |
| # run: ls -aR | |
| # working-directory: docs/_build/html | |
| - name: Install and configure dependencies | |
| run: | | |
| npm install -g --silent gh-pages@2.0.1 | |
| - name: Deploy docs to gh-pages branch | |
| run: | | |
| git remote set-url origin https://git:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git | |
| npx gh-pages --dotfiles --dist docs/_build/html --user "github-actions-bot <support+actions@github.com>" --message "Update docs [skip ci]" | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |