search

scala-ide / scala-worksheet

A Scala IDE plugin for a multi-line REPL (called worksheet)
96 stars 24 forks source link

Switches to new ScalaProject API #190

Closed huitseeker closed 10 years ago

huitseeker commented 10 years ago

See https://github.com/scala-ide/scala-ide/pull/747

ghprb-bot commented 10 years ago

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

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-worksheet-validator/48/

huitseeker commented 10 years ago

first failure : PR 747 wasn't in. second failure : nightly wasn't rebuilt. now for the third ...

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-worksheet-validator/49/

huitseeker commented 10 years ago

retest this please

ghprb-bot commented 10 years ago

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

dragos commented 10 years ago

LGTM