polygon_coverage_planning
polygon_coverage_planning copied to clipboard
Add github actions CI instead of Jenkins
All @Jaeyoung-Lim's work per this PR: https://github.com/ethz-asl/polygon_coverage_planning/pull/78 Doing a preliminary test here before merging to master.