Skip to content

chore: release 0.9.0 - #1992

Merged
FBumann merged 2 commits into
mainfrom
chore/release-0.9.0
Oct 12, 2026
Merged

FBumann merged 2 commits into
mainfrom
chore/release-0.9.0

Conversation

@FBumann

@FBumann FBumann commented Oct 12, 2026 •

Copy link
Copy Markdown
Collaborator

Prompt: Prepare a release!

Prompt: Include the brwoser stack! It will land on main shortly

Note

The following content was generated by AI.

## Upcoming version becomes ## 0.9.0 (2026-10-12), edited into release notes. It is a minor release because #1980 breaks code: solve_over(carry=) and archive.carry are gone. The browser stack (#1973, #1975, #1988, #1991) is on main, and this branch has main merged in, so the diff is CHANGELOG.md alone.

What the notes say, and how each claim was checked
Lines, and the gate

🤖 Generated with Claude Code

https://claude.ai/code/session_01G1TmcQZZCctsVr54HE93qS

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01G1TmcQZZCctsVr54HE93qS
@read-the-docs-community

read-the-docs-community Bot commented Oct 12, 2026 •

Copy link
Copy Markdown

Documentation build overview

📚 specsolve | 🛠️ Build #35088193 | 📁 Comparing 2d42f26 against latest (e70eee4)

  🔍 Preview build  

3 files changed
± about/changelog/index.html
± development/architecture/index.html
± reference/api/index.html

@codspeed

codspeed Bot commented Oct 12, 2026 •

Copy link
Copy Markdown

Merging this PR will not alter performance

✅ 93 untouched benchmarks
⏩ 307 skipped benchmarks1


Comparing chore/release-0.9.0 (2d42f26) with main (c210067)2

Open in CodSpeed

Footnotes

  1. 307 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

  2. No successful run was found on main (9394b75) during the generation of this report, so c210067 was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩

@FBumann
FBumann enabled auto-merge (squash) October 12, 2026 09:22
@FBumann
FBumann merged commit 203d173 into main Oct 12, 2026
16 checks passed
@FBumann
FBumann deleted the chore/release-0.9.0 branch October 12, 2026 09:27
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.

2 participants