issues
search
rosin-project
/
haros_catkin
1
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add industrial_ci travis configuration
#25
nlimpert
closed
5 years ago
6
Create a ROS 2 linter integration
#24
gavanderhoorn
opened
5 years ago
52
Add/document plain-Jenkins integration
#23
gavanderhoorn
opened
5 years ago
2
Decouple haros_catkin versions from haros itself.
#22
gavanderhoorn
closed
5 years ago
0
Add some form of CI
#21
gavanderhoorn
closed
5 years ago
5
Allow optional home location
#20
nlimpert
closed
5 years ago
2
Allow configurable REPORT_LOCATION, CONFIG_PATH and HOME_PATH
#19
nlimpert
closed
5 years ago
3
Add run dependency on rosgraph
#18
gavanderhoorn
closed
5 years ago
6
Use catkin env script so rosrun et al. can be used
#17
gavanderhoorn
closed
5 years ago
9
Allow haros to be run as part of run_tests.
#16
gavanderhoorn
closed
3 years ago
8
Upgrade to package format 2.
#15
gavanderhoorn
closed
5 years ago
0
At which phase of a build should haros be run?
#14
gavanderhoorn
opened
5 years ago
7
Add 'run haros as a test' function to CMake extras file?
#13
gavanderhoorn
opened
5 years ago
2
Require version of HAROS that supports pip-installed plugins.
#12
gavanderhoorn
closed
5 years ago
1
Set haros_report to be executed on ALL
#11
nlimpert
closed
5 years ago
4
haros_report() in a ros_buildfarm prerelease
#10
gavanderhoorn
closed
5 years ago
44
Order of statements in build script
#9
gavanderhoorn
closed
5 years ago
6
Revert "Changed command to execute haros"
#8
nlimpert
closed
5 years ago
5
Support specifying a custom haros configuration
#7
gavanderhoorn
closed
5 years ago
2
Run 'haros init' in the build dir (instead of $HOME)
#6
gavanderhoorn
closed
5 years ago
22
make report output location configurable
#5
gavanderhoorn
closed
5 years ago
8
manifest: update maintainer and urls
#4
gavanderhoorn
closed
5 years ago
1
requirements: adding pyflwor-ext
#3
gavanderhoorn
closed
5 years ago
2
manifest: add run deps on plugin tools
#2
gavanderhoorn
closed
5 years ago
0
Transfer repository to rosin-project org?
#1
gavanderhoorn
closed
5 years ago
8