Skip to content

chore(main): release 0.0.1-alpha.249 - #1233

Merged
fluxopt-release-bot[bot] merged 1 commit into
mainfrom
release-please--branches--main--components--lpspec
Aug 23, 2026
Merged

fluxopt-release-bot[bot] merged 1 commit into
mainfrom
release-please--branches--main--components--lpspec

Conversation

@fluxopt-release-bot

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.0.1-alpha.249 (2026-08-23)

Features

  • language: a boundary clause names a position, not the label at one (#1230) (3e018da)

This PR was generated with Release Please. See documentation.

@fluxopt-release-bot fluxopt-release-bot Bot added the autorelease: pending Release-please owns this one — a release PR awaiting merge label Aug 23, 2026
@fluxopt-release-bot
fluxopt-release-bot Bot enabled auto-merge (squash) August 23, 2026 19:27
@codspeed

codspeed Bot commented Aug 23, 2026

Copy link
Copy Markdown

Merging this PR will not alter performance

✅ 16 untouched benchmarks
⏩ 42 skipped benchmarks1


Comparing release-please--branches--main--components--lpspec (5c44a13) with main (3e018da)

Open in CodSpeed

Footnotes

  1. 42 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. ↩

@read-the-docs-community

Copy link
Copy Markdown

Documentation build overview

📚 lpspec | 🛠️ Build #34195869 | 📁 Comparing 5c44a13 against latest (3e018da)

  🔍 Preview build  

1 file changed
± about/changelog/index.html

@fluxopt-release-bot
fluxopt-release-bot Bot merged commit 5379048 into main Aug 23, 2026
9 of 10 checks passed
@fluxopt-release-bot
fluxopt-release-bot Bot deleted the release-please--branches--main--components--lpspec branch August 23, 2026 19:29
@fluxopt-release-bot

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

@fluxopt-release-bot fluxopt-release-bot Bot added autorelease: tagged Release-please owns this one — released, tag pushed and removed autorelease: pending Release-please owns this one — a release PR awaiting merge labels Aug 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

autorelease: tagged Release-please owns this one — released, tag pushed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants