Closed kiritsuku closed 9 years ago
Refer to this link for build results (access rights to CI server needed):
https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-worksheet-validator/97/ https://jenkins.scala-ide.org:8496/jenkins/job/worksheet-scala-ide-4.0.x-nightly/107/ Test PASSed.
Refer to this link for build results (access rights to CI server needed):
https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-worksheet-validator/97/ https://jenkins.scala-ide.org:8496/jenkins/job/worksheet-scala-ide-4.0.x-nightly/107/ Test PASSed.