Open myii opened 2 years ago
During the process of converting from Travis CI to GitLab CI, came across a dealbreaker with this bug:
Thankfully, the discussion mentioned https://github.com/coq/bot/, which we've been using ever since. While this workaround has been reliable, we still need to monitor when GitLab actually provide this functionality themselves.
During the process of converting from Travis CI to GitLab CI, came across a dealbreaker with this bug:
Thankfully, the discussion mentioned https://github.com/coq/bot/, which we've been using ever since. While this workaround has been reliable, we still need to monitor when GitLab actually provide this functionality themselves.