diff --git a/.travis.yml b/.travis.yml index 8a1d0392e9982c1bde7277280d2052b25776bdec..ffebf1aaf75fbc747f807b5ade66703c27b5d7ee 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,5 +1,8 @@ language: java +rvm: + - 2.0.0 + before_install: gem install travis-custom-deploy script: mvn -f org.eventb.texteditor.parent/pom.xml clean verify