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

gz-launch7: fix version #2322

Merged
merged 2 commits into from
Aug 9, 2023
Merged

Conversation

azeey
Copy link
Member

@azeey azeey commented Jul 28, 2023

@azeey azeey requested a review from scpeters as a code owner July 28, 2023 18:59
@azeey azeey requested a review from iche033 August 8, 2023 19:19
@azeey azeey self-assigned this Aug 8, 2023
@@ -2,7 +2,7 @@ class GzLaunch7 < Formula
desc "Launch libraries for robotics applications"
homepage "https://github.com/gazebosim/gz-launch"
url "https://github.com/gazebosim/gz-launch.git", branch: "main"
version "7.999.999~0~20221117"
version "6.999.999~0~20230728"
Copy link
Member Author

Choose a reason for hiding this comment

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

@scpeters would this cause problems? I think 6.999.999 is the correct value, but the old one had 7.999.999.

Copy link
Member

Choose a reason for hiding this comment

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

yeah, it should be fine since there are no bottles built for this yet

@scpeters scpeters changed the title Bumps in harmonic : ci_matching_branch/bump_harmonic_gz-launch7 gz-launch7: fix version Aug 9, 2023
@scpeters scpeters merged commit 1803533 into master Aug 9, 2023
1 check passed
@scpeters scpeters deleted the ci_matching_branch/bump_harmonic_gz-launch7 branch August 9, 2023 06:02
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