Skip to content

Use rotary alias packages for CI#171

Merged
j-rivero merged 1 commit intomainfrom
jrivero/rotary_aliases_2
Mar 20, 2026
Merged

Use rotary alias packages for CI#171
j-rivero merged 1 commit intomainfrom
jrivero/rotary_aliases_2

Conversation

@j-rivero
Copy link
Copy Markdown
Contributor

@j-rivero j-rivero commented Mar 19, 2026

Use rotary alias packages for CI

Related to gazebo-tooling/release-tools#1446

Signed-off-by: Jose Luis Rivero <jrivero@honurobotics.com>
@j-rivero j-rivero force-pushed the jrivero/rotary_aliases_2 branch from 699a7f4 to a6cd71e Compare March 19, 2026 21:34
@github-project-automation github-project-automation bot moved this from Inbox to In review in Core development Mar 19, 2026
@j-rivero j-rivero merged commit d96b716 into main Mar 20, 2026
8 checks passed
@j-rivero j-rivero deleted the jrivero/rotary_aliases_2 branch March 20, 2026 10:44
@github-project-automation github-project-automation bot moved this from In review to Done in Core development Mar 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants