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