Skip to content
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

Bump version to v3.1.0 #237

Merged
merged 4 commits into from
Oct 17, 2024
Merged

Bump version to v3.1.0 #237

merged 4 commits into from
Oct 17, 2024

Conversation

JesusPoderoso
Copy link
Contributor

This PR bumps the Fast DDS Monitor version to v3.1.0, and updates its release notes.

This PR is on top of and must be merged after:

@JesusPoderoso JesusPoderoso changed the title Release/v3.1.0 Bump version to v3.1.0 Oct 17, 2024
Base automatically changed from hotfix/docs to main October 17, 2024 12:57
Signed-off-by: eProsima <[email protected]>
@JesusPoderoso
Copy link
Contributor Author

Docs CI issues unrelated to the doc package content.
It will be addressed in a follow up PR

@rsanchez15 rsanchez15 merged commit 2f06de1 into main Oct 17, 2024
13 of 14 checks passed
@rsanchez15 rsanchez15 deleted the release/v3.1.0 branch October 17, 2024 14:03
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