search

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

temporarily remove integrate-ide as a part of integrate-main #153

Closed SethTisue closed 8 years ago

SethTisue commented 8 years ago

should be reinstated once the ScalaIDE folks have tackled https://github.com/scala/scala-dev/issues/71

SethTisue commented 8 years ago

I provisionally put this into production. let's not merge yet, I tried a /rebuild at https://github.com/scala/scala/pull/4902 so let's so what happens there

SethTisue commented 8 years ago

on e.g. 4902 /nothingtoseehere is needed to make the spurious failures go away.

on new PRs like 4903, this change is working as intended (integrate-ide doesn't even appear)

SethTisue commented 8 years ago

I reverted this just now, since Simon says the coast should be clear