search

scala-ide / scala-search

Next Scala Search Engine
6 stars 10 forks source link

Updates to be compatible with Scala IDE master #90

Closed skyluc closed 10 years ago

skyluc commented 10 years ago

Update to latest version of plugin-profiles to use Scala 2.11.1 A helper method was removed

ghprb-bot commented 10 years ago

Test FAILed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-validator/21/

huitseeker commented 10 years ago

retest this please

ghprb-bot commented 10 years ago

Test FAILed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-validator/22/

huitseeker commented 10 years ago

retest this please

ghprb-bot commented 10 years ago

Test FAILed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-validator/23/

ghprb-bot commented 10 years ago

Test FAILed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-validator/24/

huitseeker commented 10 years ago

retest this please

ghprb-bot commented 10 years ago

Test FAILed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-validator/25/

huitseeker commented 10 years ago

ok, consistent test failures on this one !

ghprb-bot commented 10 years ago

Test PASSed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-validator/26/

huitseeker commented 10 years ago

That worked ! LGTM

dragos commented 10 years ago

double LGTM~