doc: Fix various linted errors #5
Workflow file for this run
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 | |
| paths: | |
| - doc/** | |
| - mkdocs.yaml | |
| - .github/workflows/docs.yaml | |
| # To be aware it need to be the counter-part of docs-empty.yaml. | |
| pull_request: | |
| paths: | |
| - doc/** | |
| - mkdocs.yaml | |
| - .github/workflows/docs.yaml | |
| # See https://stackoverflow.com/a/72408109 | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| env: | |
| TERM: xterm | |
| jobs: | |
| check-markdown: | |
| name: Lint Markdown | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 1 | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v3 | |
| - name: Check Markdown formatting | |
| uses: DavidAnson/[email protected] | |
| with: | |
| globs: "*.md|doc/**/*.md" | |
| check-links: | |
| name: Lint Links | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 1 | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v3 | |
| - name: Restore lychee cache | |
| uses: actions/cache@v3 | |
| with: | |
| path: .lycheecache | |
| key: cache-lychee-${{ github.sha }} | |
| restore-keys: cache-lychee- | |
| - name: Run Lychee | |
| uses: lycheeverse/[email protected] | |
| with: | |
| # To keep in sync with Makefile#lychee | |
| args: "--verbose --no-progress '*.md' 'doc/**/*.md' --cache --max-cache-age 1d ." | |
| output: ${{ runner.temp }}/lychee/out.md | |
| fail: true | |
| build: | |
| runs-on: ubuntu-latest | |
| name: Build docs | |
| permissions: | |
| contents: write | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Setup Python | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: '3.8' | |
| # install pip=>20.1 to use "pip cache dir" | |
| - name: Upgrade pip | |
| run: python3 -m pip install --upgrade pip | |
| - name: Get pip cache dir | |
| id: pip-cache | |
| run: echo "::set-output name=dir::$(pip cache dir)" | |
| - name: Cache dependencies | |
| uses: actions/cache@v3 | |
| with: | |
| path: ${{ steps.pip-cache.outputs.dir }} | |
| key: ${{ runner.os }}-pip-${{ hashFiles('**/requirements.txt') }} | |
| restore-keys: | | |
| ${{ runner.os }}-pip- | |
| - name: Install dependencies | |
| run: python3 -m pip install mkdocs mkdocs-material | |
| - name: Rebuild website | |
| run: make _website_build | |
| - uses: actions/upload-artifact@v3 | |
| name: Upload the docs artifact | |
| with: | |
| name: docs-website | |
| path: dist/website | |
| # This is a "trick", a meta task which does not change, and we can use in | |
| # the protected branch rules as opposed to the tests one above which | |
| # may change regularly. | |
| validate-docs: | |
| name: Docs status | |
| runs-on: ubuntu-latest | |
| needs: | |
| - check-markdown | |
| - check-links | |
| - build | |
| if: always() | |
| steps: | |
| - name: Successful run | |
| if: ${{ !(contains(needs.*.result, 'failure')) }} | |
| run: exit 0 | |
| - name: Failing run | |
| if: ${{ contains(needs.*.result, 'failure') }} | |
| run: exit 1 | |
| deploy: | |
| runs-on: ubuntu-latest | |
| name: Deploy website | |
| permissions: | |
| contents: write | |
| if: github.ref == 'refs/heads/main' | |
| steps: | |
| - uses: actions/download-artifact@v3 | |
| with: | |
| name: docs-website | |
| path: dist/website | |
| - name: Deploy | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: dist/website |