Skip to content

Bump revision to 4.0.0-rc.5-SNAPSHOT#546

Merged
MarkWolters merged 1 commit intomainfrom
postrelease_bump_version
Oct 15, 2025
Merged

Bump revision to 4.0.0-rc.5-SNAPSHOT#546
MarkWolters merged 1 commit intomainfrom
postrelease_bump_version

Conversation

@MarkWolters
Copy link
Copy Markdown
Contributor

No description provided.

@github-actions
Copy link
Copy Markdown
Contributor

Before you submit for review:

  • Does your PR follow guidelines from CONTRIBUTIONS.md?
  • Did you summarize what this PR does clearly and concisely?
  • Did you include performance data for changes which may be performance impacting?
  • Did you include useful docs for any user-facing changes or features?
  • Did you include useful javadocs for developer oriented changes, explaining new concepts or key changes?
  • Did you trigger and review regression testing results against the base branch via Run Bench Main?
  • Did you adhere to the code formatting guidelines (TBD)
  • Did you group your changes for easy review, providing meaningful descriptions for each commit?
  • Did you ensure that all files contain the correct copyright header?

If you did not complete any of these, then please explain below.

@MarkWolters MarkWolters merged commit 0913256 into main Oct 15, 2025
3 of 12 checks passed
@MarkWolters MarkWolters deleted the postrelease_bump_version branch October 15, 2025 21:33
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.

1 participant