Closed kiritsuku closed 8 years ago
Refer to this link for build results (access rights to CI server needed):
https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-validator/58/ https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-for-ide-master-2.11.x/60/
Refer to this link for build results (access rights to CI server needed):
https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-validator/58/ https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-for-ide-master-2.11.x/60/