Skip to content

chore(main): release 0.4.0#18

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
release-please--branches--main--components--pi-ensemble
Open

chore(main): release 0.4.0#18
github-actions[bot] wants to merge 1 commit into
mainfrom
release-please--branches--main--components--pi-ensemble

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented May 20, 2026

🤖 I have created a release beep boop

0.4.0 (2026-05-20)

Features

  • runs: auto-prune to keep last N batches on disk (7cdcba9)

Bug Fixes

  • runs: paginate batch list so it fits the screen (00d974a)

This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot changed the title chore(main): release 0.3.1 chore(main): release 0.4.0 May 20, 2026
@github-actions github-actions Bot force-pushed the release-please--branches--main--components--pi-ensemble branch from efcc7cf to 7f603ef Compare May 20, 2026 10:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants