Skip to content

Release v.0.13.12 - #745

Merged
kmarnoult merged 4 commits into
mainfrom
develop
Aug 21, 2026
Merged

Release v.0.13.12#745
kmarnoult merged 4 commits into
mainfrom
develop

Conversation

@mfangaritav

Copy link
Copy Markdown
Contributor

Release updating documentation for multiburst products.

@github-actions

github-actions Bot commented Aug 21, 2026

Copy link
Copy Markdown
Contributor

Developer checklist

  • Indicated the level of changes to this package by affixing one of these labels:
    • major -- Major changes to the API that may break current workflows
    • minor -- Minor changes to the API that do not break current workflows
    • patch -- Patches and bugfixes for the current version that do not break current workflows
    • bumpless -- Changes to documentation, CI/CD pipelines, etc. that don't affect the software's version
  • (If applicable) Updated the dependencies and indicated any downstream changes that are required
  • Added/updated documentation for these changes
  • Added/updated tests for these changes
  • Verified changes in test deployment and summarized results, e.g. in PR description or comments on the related issue(s)

Reviewer checklist

  • Have all dependencies been updated?
  • Is the level of changes labeled appropriately?
  • Are all the changes described appropriately in CHANGELOG.md?
  • Has the documentation been adequately updated?
  • Are the tests adequate?
  • Have the changes been verified in the test deployment?

@mfangaritav mfangaritav added the patch Bump the patch version number of this project label Aug 21, 2026
@mfangaritav
mfangaritav marked this pull request as ready for review August 21, 2026 22:48
@mfangaritav
mfangaritav requested review from a team as code owners August 21, 2026 22:48
@kmarnoult
kmarnoult merged commit 30305be into main Aug 21, 2026
14 of 15 checks passed
@hjkristenson

Copy link
Copy Markdown
Contributor

I was just finishing my review and was going to open a PR into develop, but it looks like I missed the boat. I'll still open the PR as consideration for another release.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

patch Bump the patch version number of this project

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants