Skip to content
This repository has been archived by the owner on Mar 23, 2024. It is now read-only.

Delete install directory #25

Merged
merged 1 commit into from
Feb 10, 2024
Merged

Conversation

patrick-5546
Copy link
Member

I'm guessing this was a directory generated when playing around with ros workspaces? It shouldn't be part of a ROS package. Deleting it because it is causing lint to fail in sailbot workspace

@patrick-5546
Copy link
Member Author

Also just a thought but since this repo is c++ do you want to enable clang tidy? Can ask Henry about this

clang-tidy: false

@patrick-5546 patrick-5546 merged commit c871170 into main Feb 10, 2024
12 checks passed
@patrick-5546 patrick-5546 deleted the patrick-5546/delete-install-dir branch February 10, 2024 09:35
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant