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

Update badges to point to gz-sensors9 #463

Merged
merged 1 commit into from
Aug 26, 2024
Merged

Conversation

iche033
Copy link
Contributor

@iche033 iche033 commented Aug 23, 2024

@iche033 iche033 changed the base branch from gz-sensors8 to gz-sensors9 August 23, 2024 23:49
@github-actions github-actions bot added the 🎵 harmonic Gazebo Harmonic label Aug 23, 2024
@iche033 iche033 added 🏛️ ionic Gazebo Ionic and removed 🎵 harmonic Gazebo Harmonic labels Aug 23, 2024
@scpeters
Copy link
Member

I think the failing jammy abichecker job is because this was initially targeted at gz-sensors8, so it should be fine to merge this

@iche033
Copy link
Contributor Author

iche033 commented Aug 26, 2024

I think the failing jammy abichecker job is because this was initially targeted at gz-sensors8, so it should be fine to merge this

yeah initially targeted at the wrong branch.

Merging as this should not break ABI.

@iche033 iche033 merged commit ec5199b into gz-sensors9 Aug 26, 2024
12 of 13 checks passed
@iche033 iche033 deleted the badges_sensors9 branch August 26, 2024 17:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🏛️ ionic Gazebo Ionic
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants