Skip to content

Release 4.0.0-rc.4#544

Merged
MarkWolters merged 1 commit intomainfrom
release-4.0.0-rc.4-SNAPSHOT
Oct 15, 2025
Merged

Release 4.0.0-rc.4#544
MarkWolters merged 1 commit intomainfrom
release-4.0.0-rc.4-SNAPSHOT

Conversation

@MarkWolters
Copy link
Copy Markdown
Contributor

Release 4.0.0-rc.4

Release 4.0.0-rc.4
@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
Copy link
Copy Markdown
Contributor Author

Merging updated version

@MarkWolters MarkWolters merged commit eb2cb6d into main Oct 15, 2025
10 of 12 checks passed
@MarkWolters MarkWolters deleted the release-4.0.0-rc.4-SNAPSHOT branch October 15, 2025 20:53
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.

2 participants