From e4c595271ed043a77e2fc320ad05b27b7d467720 Mon Sep 17 00:00:00 2001
From: AlexeyShalaev <75322386+AlexeyShalaev@users.noreply.github.com>
Date: Wed, 7 Oct 2026 15:51:51 +0300
Subject: [PATCH] ci: take the docs workflow back from the hub

This repository's docs.yml had improvements of its own (workflow_dispatch, a concurrency group, --no-dev --group docs on uv run), which made it this repository's file. The hub's zensical-docs pack now has all of them, plus uv sync --locked, so the file takes the hub's version and gets its updates again.
---
 .github/workflows/docs.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 06b3b88..ba8700d 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -21,7 +21,8 @@ jobs:
     steps:
       - uses: actions/checkout@v7
       - uses: astral-sh/setup-uv@v7
-      - run: uv sync --no-dev --group docs
+      # --locked: fail when uv.lock is out of date with pyproject.toml.
+      - run: uv sync --locked --no-dev --group docs
       - run: cp CHANGELOG.md docs/changelog.md
       # --no-dev on `uv run` too: without it the implicit sync reinstalls the
       # whole dev group just to build docs.