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

Updated ros-tooling/setup-ros to the latest version #1063

Merged
merged 10 commits into from
Aug 29, 2023
Merged

Conversation

nnethaji
Copy link
Contributor

@nnethaji nnethaji commented Jul 14, 2023

Description

  • Updated ros-tooling/setup-ros to the latest version (0.6.2)

Screenshot or Video

  • TODO

Related Issues

Testing

  • Observe in CI that the error has disappeared by visiting the action run and observing that the warning is no longer in the list of warnings.

About This PR

  • I have updated documentation related to this change so that future members are aware of the changes I've made.

@nnethaji nnethaji marked this pull request as draft July 27, 2023 07:27
@cbrxyz cbrxyz marked this pull request as ready for review August 29, 2023 18:54
@uf-mil-bot
Copy link
Collaborator

uf-mil-bot commented Aug 29, 2023

Hola, your friendly InvestiGator bot here with another message!

Because this PR was closed/merged, I'm going to remove the docs preview for now.

Have a great day! Go gators! 🐊

@cbrxyz cbrxyz enabled auto-merge (squash) August 29, 2023 19:21
Copy link
Member

@cbrxyz cbrxyz left a comment

Choose a reason for hiding this comment

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

Thanks for your help!

@cbrxyz cbrxyz merged commit 1562ae9 into master Aug 29, 2023
3 checks passed
@cbrxyz cbrxyz deleted the ros-tooling-update branch August 29, 2023 21:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Update ros-tooling/setup-ros in CI GitHub Action to latest version
3 participants