Correction of the list of authors #105
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: Documentation | |
| on: | |
| push: | |
| branches: ["main", "develop"] | |
| workflow_dispatch: | |
| inputs: | |
| forceDeploy: | |
| description: "Deploy?" | |
| required: true | |
| default: false | |
| type: boolean | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| concurrency: | |
| group: "pages" | |
| cancel-in-progress: true | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Install debian dependencies | |
| run: | | |
| sudo apt update | |
| sudo apt -yq --no-install-suggests --no-install-recommends install pandoc make | |
| - uses: actions/checkout@v4 | |
| with: | |
| lfs: false | |
| - name: Create LFS file list | |
| run: git lfs ls-files -l | cut -d' ' -f1 | sort > .lfs-assets-id | |
| - name: Cache git LFS | |
| uses: actions/cache@v3 | |
| with: | |
| path: .git/lfs | |
| key: git-lfs-v1-${{ hashFiles('.lfs-assets-id') }} | |
| restore-keys: | | |
| git-lfs-v1 | |
| git-lfs | |
| - name: Git LFS | |
| run: | | |
| git lfs checkout | |
| git lfs pull | |
| git lfs prune --verify-remote | |
| - name: Setup Pages | |
| uses: actions/configure-pages@v3 | |
| - name: Install poetry | |
| run: pipx install poetry | |
| - name: Set up Python 3.12 | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: "3.12" | |
| cache: "poetry" | |
| - name: Install dependencies | |
| run: | | |
| poetry env use "3.12" | |
| poetry install --only doc | |
| - name: Build with Sphinx | |
| run: | | |
| poetry env use "3.12" | |
| cd doc && make html | |
| env: | |
| SPHINXBUILD: poetry run sphinx-build | |
| - name: Upload pages artifact | |
| if: ${{ github.ref == 'refs/heads/main' || inputs.forceDeploy == true }} | |
| uses: actions/upload-pages-artifact@v2 | |
| with: | |
| path: "build/html/" | |
| - name: Upload artifact | |
| uses: actions/upload-artifact@v3 | |
| if: ${{ !(github.ref == 'refs/heads/main' || inputs.forceDeploy == true) }} | |
| with: | |
| path: "build/html/" | |
| # Deployment job | |
| deploy: | |
| if: ${{ github.ref == 'refs/heads/main' || inputs.forceDeploy == true }} | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| runs-on: ubuntu-latest | |
| needs: build | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v2 |