Remove dotty ci - Githubissues

scala / scala-jenkins-infra

A Chef cookbook that manages Scala's CI infrastructure.

https://scala-ci.typesafe.com

Apache License 2.0

14 stars 17 forks source link

Closed felixmulder closed 7 years ago

felixmulder commented 7 years ago

Hi guys!

We migrated our CI to use a drone cluster on EPFL, could you guys deactivate the PR jobs for dotty?

We would love to keep the CLA checking :)

Thanks for letting us use your awesome CI! :heart:

SethTisue commented 7 years ago

so long!