source catkin ws
Ouverte
- Langage dominant
- Python
- Étoiles
- 7
- Forks
- 1
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
the catkin workspace in /code does not seem to be automatically sourced by the entrypoint, the file `setup.sh` takes care of it now, but it should be done by the entrypoint.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.