Closed SethTisue closed 7 years ago
fixes https://github.com/scala/scala-jenkins-infra/issues/205
already in production. and, I manually deleted the Dotty jobs and the Dotty tab.
Thanks for the quick fix Seth!
fixes https://github.com/scala/scala-jenkins-infra/issues/205