Skip to content

chore: release main#137

Merged
violenti merged 2 commits intomainfrom
release-please--branches--main
Apr 21, 2026
Merged

chore: release main#137
violenti merged 2 commits intomainfrom
release-please--branches--main

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

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

🤖 I have created a release beep boop

nullplatform-base: 2.38.1

2.38.1 (2026-04-21)

Bug Fixes

  • base: ensure metrics-extractor lease exists before log-controller starts (7a8b5ce)
  • base: make ensure-lease init container optional via logging.ensureLease (22222b0)

This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot force-pushed the release-please--branches--main branch from f73bb91 to e7c4cba Compare April 21, 2026 12:37
@violenti violenti merged commit 0a0eb61 into main Apr 21, 2026
2 checks passed
@violenti violenti deleted the release-please--branches--main branch April 21, 2026 13:15
@github-actions
Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

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.

3 participants