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.

Sign up for GitHub

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

Jump to bottom

Docker build fails when COVINS was previously built in catkin workspace on host #1

Open
patriksc opened this issue Oct 31, 2021 · 0 comments
Open

Docker build fails when COVINS was previously built in catkin workspace on host #1

patriksc opened this issue Oct 31, 2021 · 0 comments
Assignees
@ThomasZiegler
Labels
bug Something isn't working

Comments

@patriksc
Copy link
Collaborator

Building the docker image from COVINS cloned into a catkin workspace fails, if COVINS was previously built in this workspace on the host machine using the provided instructions from the manual. On a freshly cloned version of COVINS (no catkin build process executed), the docker image builds smoothly.
@ThomasZiegler ThomasZiegler added the bug Something isn't working label Nov 15, 2021
patriksc pushed a commit that referenced this issue May 28, 2023
@manthan99
Merge pull request #1 from manthan99/vins-covins
72576ac 
Add COVINS-G support
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ThomasZiegler ThomasZiegler

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ThomasZiegler @patriksc