search

space-ros / docker

Docker images to facilitate Docker-based development.
21 stars 32 forks source link

Fix IKOS tutorial (#138). #139

Closed xfiderek closed 5 months ago

xfiderek commented 7 months ago

This PR addresses https://github.com/space-ros/docker/issues/138, by adjusting the Earthfile, entrypoint.sh, and README.md, so that IKOS tutorial is runnable.

xfiderek commented 7 months ago

Note that space_nav2 fails also on main, so it is unrelated to this PR

ivanperez-keera commented 6 months ago

I'm looking into this.

xfiderek commented 5 months ago

@ivanperez-keera failure of space_robots CI is unrelated to this PR

ivanperez-keera commented 5 months ago

Thanks, @xfiderek .

ivanperez-keera commented 5 months ago

@xfiderek I made a minor change to the commit messages prior to the merge. Just waiting on the build but it should all be fine.

ivanperez-keera commented 5 months ago

@xfiderek I'm not able to merge this until we fix #143 , which is breaking the current build.

Can you please send a PR also for #143. Don't rebase it on top of this one, base the new PR on top of the current main.

EDIT: Related issue fixed, this PR has been rebased on top of main.