Skip to content

chore(docs-build): docs-mkdocs-material 9.8.1, docs-pymdown-extensions 13.0 - #366

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
autobump/docs-build
Open

github-actions[bot] wants to merge 1 commit into
mainfrom
autobump/docs-build

Conversation

@github-actions

@github-actions github-actions Bot commented Nov 7, 2026 •

Copy link
Copy Markdown

Moves the docs-build pin group to its newest stable upstream releases (hack/bump docs-build).

Pin From To Released Notes
docs-mkdocs-material 9.8.0 9.8.1 2026-11-07 release
docs-pymdown-extensions 12.3 13.0 2026-11-08 release

Policy: review

  • auto: docs-mkdocs-material 9.8.0 -> 9.8.1 (patch), family pypi
  • major: docs-pymdown-extensions 12.3 -> 13.0 (major)

Computed by hack/pins policy from this diff alone; labels do not count. review needs a human approval at the head commit; auto still needs green CI at the head.

Evidence

  • CI: the ci.yml run hack/bot-ci-dispatch starts on branch autobump/docs-build at the head (gh run list -w ci.yml -e workflow_dispatch -b autobump/docs-build); this PR's own pull_request runs wait for approval (a GITHUB_TOKEN PR).

Group tests in the bump job

  • tests/docs_test.sh: FAILED (exit 2)

@github-actions

github-actions Bot commented Nov 7, 2026 •

Copy link
Copy Markdown
Author

Not merged by the bot sweep at f6178baaa3e631ac9a13d2f990a095720748c961:

  • needs review: policy: auto: docs-mkdocs-material 9.8.0 -> 9.8.1 (patch), family pypi; major: docs-pymdown-extensions 12.3 -> 13.0 (major); an approval of f6178ba by a maintainer merges it

@github-actions
github-actions Bot force-pushed the autobump/docs-build branch 4 times, most recently from 5752683 to 5fa6e03 Compare November 8, 2026 07:29
@github-actions
github-actions Bot force-pushed the autobump/docs-build branch from 5fa6e03 to f6178ba Compare November 8, 2026 22:27
@github-actions github-actions Bot changed the title chore(docs-build): docs-mkdocs-material 9.8.1 chore(docs-build): docs-mkdocs-material 9.8.1, docs-pymdown-extensions 13.0 Nov 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants