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

Trigger new build #92

Merged

wolfv merged 1 commit into RoboStack:main from traversaro:patch-6

Mar 29, 2022

Member

traversaro commented Mar 29, 2022 •

edited

Loading

After RoboStack/vinca#32 . No need to wait for GitHub Action as that will eventually fail as discussed in #86 (comment) .


          Trigger new build

62d34a2

Member Author

traversaro commented Mar 29, 2022

fyi @wolfv @Tobias-Fischer

wolfv merged commit 06fce39 into RoboStack:main

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet