search

scala-ide / scala-worksheet

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

Api Hovers adaptation #204

Closed dragos closed 10 years ago

dragos commented 10 years ago

See scala-ide/scala-ide#816

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/66/

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/77/

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/80/

dragos 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/83/

ghprb-bot commented 10 years ago

Test PASSed.

See Console Output in the link below for an update site containing this PR binary artefacts.

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