Skip to content

Conversation

j-rivero
Copy link
Contributor

Requires this change before merging https://github.com/gazebo-tooling/release-tools/pull/1388/files#r2376445557

Also fixed the workspace paths.

Requires this change before merging https://github.com/gazebo-tooling/release-tools/pull/1388/files#r2376445557

Also fixed the workspace paths.

Signed-off-by: Jose Luis Rivero <jrivero@osrfoundation.org>
@github-project-automation github-project-automation bot moved this from Inbox to In review in Core development Sep 25, 2025
@j-rivero j-rivero merged commit 155f5a6 into master Oct 13, 2025
6 checks passed
@j-rivero j-rivero deleted the jrivero/pixi_shell_env branch October 13, 2025 16:44
@github-project-automation github-project-automation bot moved this from In review to Done in Core development Oct 13, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants