aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorGravatar Joe Banks <[email protected]>2024-08-09 16:10:32 +0100
committerGravatar Joe Banks <[email protected]>2024-08-09 16:10:32 +0100
commit8809dc90d25b17998699bc65f903aac927d1c3d8 (patch)
tree041e8dfa334306e62745cab0b7cda3e6745bb68d /.github
parentAdd Git plugins for mkdocs (diff)
Correct for incompetent programmer
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/docs.yaml4
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