Skip to content

Conversation

@esteve
Copy link
Collaborator

@esteve esteve commented Aug 23, 2025

No description provided.

@esteve esteve requested review from jhdcs and maspe36 August 23, 2025 16:19
Copy link
Collaborator

@maspe36 maspe36 left a comment

Choose a reason for hiding this comment

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

Isn't this equivalent?

@esteve
Copy link
Collaborator Author

esteve commented Aug 23, 2025

@maspe36 should be, but for some reason the CI failed because the current directory is not a Gir repo 🤷

@esteve
Copy link
Collaborator Author

esteve commented Aug 23, 2025

@esteve esteve merged commit 8dad6cc into ros2-rust:main Aug 23, 2025
9 checks passed
@esteve esteve deleted the fix-ci-rclrs-path branch August 23, 2025 16:49
@esteve
Copy link
Collaborator Author

esteve commented Aug 23, 2025

My bad, I missed the error message, --no-index needs to be added to the Git call, I'll submit another PR later.

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