diff options
author | 2024-08-09 16:10:32 +0100 | |
---|---|---|
committer | 2024-08-09 16:10:32 +0100 | |
commit | 8809dc90d25b17998699bc65f903aac927d1c3d8 (patch) | |
tree | 041e8dfa334306e62745cab0b7cda3e6745bb68d /.github | |
parent | Add Git plugins for mkdocs (diff) |
Correct for incompetent programmer
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/docs.yaml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 9755bd2..5c4de22 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -1,5 +1,5 @@ # Sample workflow for building and deploying a Hugo site to GitHub Pages -name: Deploy Hugo site to Pages +name: Deploy mkdocs site to Pages on: # Runs on pushes targeting the default branch @@ -46,7 +46,7 @@ jobs: python_version: "3.12" install_args: --with docs - name: Build docs - run: poetry run mkdocs build-docs + run: poetry run task build-docs env: MKDOCS_GIT_COMMITTERS_APIKEY: ${{ secrets.GITHUB_TOKEN }} ENABLE_GIT_PLUGINS: true |