Closed MatthijsBurgh closed 2 years ago
This makes sure that PR and push tests have different names. Because both had the same name, only one of the test showed up in PR status checks.
Matching https://github.com/tue-robotics/tue_robocup/pull/1153
This makes sure that PR and push tests have different names. Because both had the same name, only one of the test showed up in PR status checks.
Matching https://github.com/tue-robotics/tue_robocup/pull/1153