fix repos file name

bmagyar · bmagyar · commit d7462e982e40 · 2021-07-29T08:22:19.000+01:00
diff --git a/.github/workflows/build-coverage.yml b/.github/workflows/build-coverage.yml
@@ -22,7 +22,7 @@ jobs:
           package-name:
             control_toolbox
           vcs-repo-file-url: |
-            https://raw.githubusercontent.com/ros-controls/control_toolbox/ros2-master/control_toolbox.rosinstall
+            https://raw.githubusercontent.com/ros-controls/control_toolbox/ros2-master/control_toolbox.repos
           colcon-defaults: |
             {
               "build": {

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ jobs:`
`22`	`22`	`package-name:`
`23`	`23`	`control_toolbox`
`24`	`24`	`vcs-repo-file-url: \|`
`25`		`- https://raw.githubusercontent.com/ros-controls/control_toolbox/ros2-master/control_toolbox.rosinstall`
	`25`	`+ https://raw.githubusercontent.com/ros-controls/control_toolbox/ros2-master/control_toolbox.repos`
`26`	`26`	`colcon-defaults: \|`
`27`	`27`	`{`
`28`	`28`	`"build": {`