Skip to content

sync dev with main - #74

Merged
andybeet merged 18 commits into
mainfrom
dev
May 11, 2026
Merged

sync dev with main#74
andybeet merged 18 commits into
mainfrom
dev

Conversation

@andybeet

@andybeet andybeet commented May 11, 2026

Copy link
Copy Markdown
Member

PRs into dev contained all necessary info. They have already been approved.
Please provide the information below so main can be synced with dev:

List PRs

List the PRs that made it into dev that are waiting to be pulled into main:

Types of changes

What types of changes does this pull request introduce? Put an x in the boxes that apply.
This will inform the new release number.

  • Fix (non-breaking change which fixes a bug)
  • Feature (non-breaking change which adds or changes functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Other change (if none of the other choices apply)

Reviewer instructions

The underlying PRs should have been reviewed. Please check that the proposed merge is correct before approving.
If any checkboxes other than "Other change" have been selected please prepare the following file changes for a new release version:

  • NEWS.md - add release notes
  • DESCRIPTION - increment the vers

@andybeet
andybeet merged commit 9ba55ec into main May 11, 2026
11 of 12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add dev guideline content to repo [build]: update workflows for Node.js 24

2 participants