From 5dd65426a01a094d79004dc83ff7cf96344eedc3 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Tue, 10 Jun 2025 11:43:25 +0000 Subject: [PATCH 1/2] Initial plan for issue From 76add3db12c471b4e0e67f7cb10ffedd75440b43 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Tue, 10 Jun 2025 11:46:50 +0000 Subject: [PATCH 2/2] Update Makefile doc target to run doctest then html builders Co-authored-by: eh-main-bot <171766998+eh-main-bot@users.noreply.github.com> --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 5ce911d..2e67540 100644 --- a/Makefile +++ b/Makefile @@ -32,6 +32,7 @@ install-docs: uv sync --group docs --frozen --no-group dev doc: + uv run --no-sync sphinx-build -M doctest docs/source docs/build/ -W --keep-going --fresh-env uv run --no-sync sphinx-build -M html docs/source docs/build/ -W --keep-going --fresh-env check-all: check test mypy doc