Closed JeroenDM closed 3 years ago
It seems this pull request was build successfully on the old .org
domain of Travis here. So I'll merge this.
On the new .com
version my account is still disabled because it started building everything by default I think. But I'm not sure how the notifications with Github work with these two domains being active.
@simonschmeisser Thank you for the review and the reminder!
Hmmm, the moveit repo was being built on my Travis account, and now I'm out of credit to build this one :(