Skip to content

MLE-12345 Merge master to develop and bump version #1815

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 6 commits into from
Jul 29, 2025

Conversation

rjrudin
Copy link
Contributor

@rjrudin rjrudin commented Jul 29, 2025

No description provided.

rjrudin added 6 commits July 28, 2025 12:33
Want to get a clean PR together for the release branch.
MLE-22953 Merging release/7.2.0 into master but without copyright updates
This was not part of the previous PR so that the 7.2-specific changes were easier to analyze.
@Copilot Copilot AI review requested due to automatic review settings July 29, 2025 13:41
Copy link

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR merges master branch changes to develop and bumps the project version from 7.2-SNAPSHOT to 7.3-SNAPSHOT. The changes update version references across documentation and test files to maintain consistency with the new release.

  • Version bump in gradle.properties from 7.2-SNAPSHOT to 7.3-SNAPSHOT
  • Update dependency versions in test project from 7.1.0 to 7.2.0
  • Update documentation examples to reference version 7.2.0

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File Description
gradle.properties Bumps project version from 7.2-SNAPSHOT to 7.3-SNAPSHOT
ml-development-tools/src/test/example-project/build.gradle Updates test project dependencies from 7.1.0 to 7.2.0
README.md Updates Maven and Gradle dependency examples from 7.1.0 to 7.2.0

@rjrudin rjrudin merged commit ef7f38f into develop Jul 29, 2025
2 checks passed
@rjrudin rjrudin deleted the feature/merge-master-to-develop branch July 29, 2025 14:06
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