search

scala-ide / scala-worksheet

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

Wip/update codebase to ide master #162

Closed dotta closed 11 years ago

ghprb-bot commented 11 years ago

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

dotta commented 11 years ago

The failure of jobs worksheet-scala-ide-stable and worksheet-scala-ide-3.0.x-nightly are expected, because this commit breaks source compatibility with scala ide 3.0.x. In fact, I'm going to shelve these jobs to avoid further noise.

dotta commented 11 years ago

retest this please

ghprb-bot commented 11 years ago

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

dragos commented 11 years ago

LGTM