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.

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

ci: fix broken ci #57

Merged
merged 4 commits into from
Feb 1, 2025
Merged

ci: fix broken ci #57

merged 4 commits into from
Feb 1, 2025

Conversation

HiroIshida
Copy link
Owner

@HiroIshida HiroIshida commented Jan 31, 2025

For actual usage, we must remove launch file directory in the image when building time to avoid name conflict when lanuching. But for the rostest inside CI, we require these launch file for testing. So I added docker ARG to ON/OFF the keeping launch file behavior. default is false, thus removed but is set to true for testing (set in github action)

@HiroIshida HiroIshida changed the title chore: fix mypi.ini ci: fix broken ci Jan 31, 2025
@HiroIshida HiroIshida force-pushed the fix_ci branch 3 times, most recently from 0e5d3bf to 04ad0e5 Compare January 31, 2025 22:48
@HiroIshida HiroIshida merged commit 7f3419e into master Feb 1, 2025
2 checks passed
mqcmd196 pushed a commit to mqcmd196/detic_ros that referenced this pull request Feb 5, 2025
* chore: fix mypi.ini and format

* docker: add option to keep launch file

* ci: dont remove launch file from image in ci

* ci: fix github yaml indentation
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant