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