PR #12764 Dependencies: all packages updated via pip-tools

Dependencies: all packages updated via pip-tools #12764

humitos merged 3 commits into main from dependencies/pip-tools-86f99d6

Dependencies: all packages updated via pip-tools

5e691326

github-actions requested a review 2 days ago

github-actions requested a review from

humitos 2 days ago

auto-assign assigned

github-actions 2 days ago

Pin Sphinx to avoid issues with sphinx-tabs

d400af8b

Pin Sphinx to 8.2.3 due to an issue with sphinx-tabs

7ab66da8

humitos approved these changes on 2026-02-09

humitos enabled auto-merge (squash) 13 hours ago

humitos merged 4e0b4cbd into main 13 hours ago

humitos deleted the dependencies/pip-tools-86f99d6 branch 13 hours ago

Reviewers

humitos

Assignees

github-actions[bot]

Labels

None yet

Milestone

No milestone