Skip to content

馃敡 Maintenance round - #410

Merged
burgholzer merged 1 commit into
mainfrom
maintenance-round
Aug 2, 2026
Merged

馃敡 Maintenance round#410
burgholzer merged 1 commit into
mainfrom
maintenance-round

Conversation

@denialhaag

Copy link
Copy Markdown
Member

馃 AI text below 馃

  • Drop the manual COVERAGE_CORE workaround in noxfile.py
  • Add sphinx-llm for llms.txt generation
  • Remove hidden Unicode characters from ci.yml

Assisted-by: Claude Sonnet 5 via Claude Code
@denialhaag denialhaag added the dependencies Pull requests that update a dependency file label Aug 2, 2026
@denialhaag denialhaag self-assigned this Aug 2, 2026
@denialhaag denialhaag added the dependencies Pull requests that update a dependency file label Aug 2, 2026
@denialhaag
denialhaag requested a review from burgholzer August 2, 2026 11:24
@burgholzer
burgholzer merged commit ef4e990 into main Aug 2, 2026
25 checks passed
@burgholzer
burgholzer deleted the maintenance-round branch August 2, 2026 12:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants