Skip to content

ci(docs): install docs dependencies from uv.lock - #1040

Merged
mprib merged 1 commit into
mainfrom
chore/docs-ci-lockfile
Oct 6, 2026
Merged

mprib merged 1 commit into
mainfrom
chore/docs-ci-lockfile

Conversation

@mprib

@mprib mprib commented Oct 6, 2026

Copy link
Copy Markdown
Owner

What

  • pyproject.toml: new docs dependency group with the three mkdocs packages. dev includes it, so uv sync --group dev installs the same set as before.
  • .github/workflows/mkdocs.yaml: the build and deploy jobs run uv run --locked --only-group docs mkdocs ... in place of unpinned pip install.
  • uv.lock: gains the group entries. No package version changes.

Why

The docs build installed whatever versions were newest on the day, so the lockfile and Dependabot alerts on those packages did not describe what CI ran.

Verification

  • uv run --locked --only-group docs mkdocs build --strict passes locally in a fresh environment.
  • The rewritten workflow runs for the first time on this PR. The deploy job only runs on push to main, so it is first exercised by the merge.

After merge

This merge changes uv.lock with no .github/dependabot.yml present. Check that a "Graph Update: uv in /." run appears, which shows whether the dependency graph refreshes on its own.

The mkdocs workflow installed mkdocs-material and the revision-date plugin
with unpinned pip, so the docs build ran versions that uv.lock did not
describe. Move the mkdocs packages into a docs dependency group, included by
dev, and have both workflow jobs run mkdocs through
uv run --locked --only-group docs.
@mprib
mprib merged commit a1ce4a5 into main Oct 6, 2026
6 of 8 checks passed
@mprib
mprib deleted the chore/docs-ci-lockfile branch October 6, 2026 12:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant