Skip to content

chore(main): release 0.0.1-alpha.39 - #372

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

chore(main): release 0.0.1-alpha.39#372
fluxopt-release[bot] merged 1 commit into
mainfrom
release-please--branches--main--components--lpspec

Conversation

@fluxopt-release

@fluxopt-release fluxopt-release Bot commented Jul 31, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.0.1-alpha.39 (2026-07-31)

Refactoring

  • language: the front end is a package, and degree 1 lives in it (#371) (0bcfd1b)
  • relational: binding produces a value, and the live registry is visibly the exception (#370) (70e13ba)

This PR was generated with Release Please. See documentation.

@fluxopt-release fluxopt-release Bot added the autorelease: pending Release-please owns this one — a release PR awaiting merge label Jul 31, 2026
@fluxopt-release
fluxopt-release Bot enabled auto-merge (squash) July 31, 2026 06:52
@fluxopt-release
fluxopt-release Bot force-pushed the release-please--branches--main--components--lpspec branch from 5cb963f to 591e47e Compare July 31, 2026 06:52
@read-the-docs-community

read-the-docs-community Bot commented Jul 31, 2026

Copy link
Copy Markdown

Documentation build overview

📚 lpspec | 🛠️ Build #33847371 | 📁 Comparing 591e47e against latest (8dda159)

  🔍 Preview build  

3 files changed
± ARCHITECTURE/index.html
± changelog/index.html
± design/ceiling/index.html

@fluxopt-release
fluxopt-release Bot merged commit 7b1ee1c into main Jul 31, 2026
3 of 4 checks passed
@fluxopt-release

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

@fluxopt-release fluxopt-release 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 Jul 31, 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