Skip to content

chore: release dev to main (docs dependency updates) - #210

Merged
bvweerd merged 4 commits into
mainfrom
dev
Nov 5, 2026
Merged

bvweerd merged 4 commits into
mainfrom
dev

Conversation

@bvweerd

@bvweerd bvweerd commented Nov 5, 2026

Copy link
Copy Markdown
Owner

Description

Brings dev into main:

Both only touch requirements-docs.txt.

Type of change

  • fix: Bug fix (patch version bump)
  • feat: New feature (minor version bump)
  • feat!: / BREAKING CHANGE: Breaking change (major version bump)
  • chore: / docs: / ci: Maintenance or documentation (no version bump)

Checklist


Generated by Claude Code

dependabot Bot and others added 4 commits November 2, 2026 19:45
Updates the requirements on [mkdocs-material](https://github.com/squidfunk/mkdocs-material) to permit the latest version.
- [Release notes](https://github.com/squidfunk/mkdocs-material/releases)
- [Changelog](https://github.com/squidfunk/mkdocs-material/blob/master/CHANGELOG)
- [Commits](squidfunk/mkdocs-material@9.7.7...9.8.0)

---
updated-dependencies:
- dependency-name: mkdocs-material
  dependency-version: 9.8.0
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
…te-9.8.0

deps: update mkdocs-material requirement from >=9.7.7 to >=9.8.0
Updates the requirements on [pymdown-extensions](https://github.com/facelessuser/pymdown-extensions) to permit the latest version.
- [Release notes](https://github.com/facelessuser/pymdown-extensions/releases)
- [Commits](facelessuser/pymdown-extensions@12.2...12.3)

---
updated-dependencies:
- dependency-name: pymdown-extensions
  dependency-version: '12.3'
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
…s-gte-12.3

deps: update pymdown-extensions requirement from >=12.2 to >=12.3
@bvweerd
bvweerd merged commit 75c4032 into main Nov 5, 2026
17 checks passed

This branch was successfully deployed

1 active deployment
github-pages — cefa78de Deployed Nov 5, 2026 by bvweerd via Deploy to GitHub Pages #113
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