Skip to content

chore(main): release 0.0.13#876

Merged
chrisburr merged 1 commit intomainfrom
release-please--branches--main
Apr 14, 2026
Merged

chore(main): release 0.0.13#876
chrisburr merged 1 commit intomainfrom
release-please--branches--main

Conversation

@DIRACGridBot
Copy link
Copy Markdown
Contributor

@DIRACGridBot DIRACGridBot commented Apr 1, 2026

🤖 I have created a release beep boop

0.0.13 (2026-04-14)

Features

Bug Fixes

  • core: preserve GUID case in replica map validation (#880) (c6f0a37)

Miscellaneous Chores


This PR was generated with Release Please. See documentation.

@DIRACGridBot DIRACGridBot force-pushed the release-please--branches--main branch 4 times, most recently from 003d4d5 to 026cf4c Compare April 7, 2026 08:02
@DIRACGridBot DIRACGridBot force-pushed the release-please--branches--main branch 2 times, most recently from 13b2bd8 to 33a796f Compare April 14, 2026 09:44
@DIRACGridBot DIRACGridBot changed the title chore(main): release 0.1.0 chore(main): release 0.0.13 Apr 14, 2026
@DIRACGridBot DIRACGridBot force-pushed the release-please--branches--main branch from 33a796f to e7c8741 Compare April 14, 2026 09:47
@chrisburr chrisburr merged commit ea405cc into main Apr 14, 2026
3 of 5 checks passed
@chrisburr chrisburr deleted the release-please--branches--main branch April 14, 2026 09:47
@DIRACGridBot
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.

2 participants