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

Jenkins CI: reactivate Catkin build stage #13189

Merged
merged 1 commit into from
Oct 15, 2019
Merged

Jenkins CI: reactivate Catkin build stage #13189

merged 1 commit into from
Oct 15, 2019

Conversation

TSC21
Copy link
Member

@TSC21 TSC21 commented Oct 14, 2019

Let's give this a try again before the release.

@TSC21 TSC21 self-assigned this Oct 14, 2019
@TSC21 TSC21 marked this pull request as ready for review October 14, 2019 22:29
@TSC21
Copy link
Member Author

TSC21 commented Oct 14, 2019

Seems to be back to normal. @dagar any thoughts?

@TSC21 TSC21 requested a review from dagar October 14, 2019 22:29
@TSC21 TSC21 merged commit bfab544 into master Oct 15, 2019
@TSC21 TSC21 deleted the ci_catkin branch October 15, 2019 09:42
@TSC21
Copy link
Member Author

TSC21 commented Oct 15, 2019

@julianoes thanks for reviewing

@weekly-digest weekly-digest bot mentioned this pull request Oct 20, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@julianoes julianoes julianoes approved these changes

@dagar dagar Awaiting requested review from dagar

Assignees

@TSC21 TSC21

Labels
CI (Continuous Integration) 🤖 🤖 ROS
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@TSC21 @julianoes