Skip to content

Conversation

azeey
Copy link
Contributor

@azeey azeey commented Aug 6, 2025

🦟 Bug fix

Summary

The badge was pointing to an old disable Jenkins job.

Note to maintainers: Remember to use Squash-Merge and edit the commit message to match the pull request summary while retaining Signed-off-by and Generated-by messages.

The badge was pointing to an old disable Jenkins job.

Signed-off-by: Addisu Z. Taddese <addisu@openrobotics.org>
@azeey azeey requested a review from arjo129 as a code owner August 6, 2025 16:01
@github-actions github-actions bot added the 🪵 jetty Gazebo Jetty label Aug 6, 2025
@github-project-automation github-project-automation bot moved this from Inbox to In review in Core development Aug 6, 2025
@azeey azeey merged commit ab785dc into main Aug 6, 2025
13 of 14 checks passed
@azeey azeey deleted the azeey-patch-1 branch August 6, 2025 22:46
@github-project-automation github-project-automation bot moved this from In review to Done in Core development Aug 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🪵 jetty Gazebo Jetty

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants