Closed richm closed 1 year ago
manage is a better name since it allows you to cancel jobs as well There were a few changes to the format of PR platform names and internal directory names in the jenkins logs requiring changes to this tool.
manage is a better name since it allows you to cancel jobs as well There were a few changes to the format of PR platform names and internal directory names in the jenkins logs requiring changes to this tool.