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

Update CI scripts #17

Merged
merged 3 commits into from Aug 4, 2020
Merged

Update CI scripts #17

merged 3 commits into from Aug 4, 2020

Conversation

at-wat
Copy link
Owner

@at-wat at-wat commented Aug 4, 2020

No description provided.

@at-wat at-wat self-assigned this Aug 4, 2020
@at-wat
Copy link
Owner Author

at-wat commented Aug 4, 2020 •
edited

[#41] FAILED on kinetic

catkin_make failed

[#41] FAILED on melodic

catkin_make failed

@at-wat
Copy link
Owner Author

at-wat commented Aug 4, 2020 •
edited

[#42] PASSED on kinetic

All tests passed 
Summary: 0 tests, 0 errors, 0 failures, 0 skipped

[#42] PASSED on melodic

All tests passed 
Summary: 0 tests, 0 errors, 0 failures, 0 skipped

@at-wat at-wat merged commit a6dfd1b into master Aug 4, 2020
@at-wat at-wat deleted the update-ci-script branch August 4, 2020 15:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@at-wat at-wat

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@at-wat