diff options
Diffstat (limited to 'circle.yml')
-rw-r--r-- | circle.yml | 9 |
1 files changed, 3 insertions, 6 deletions
@@ -1,7 +1,4 @@ general: - artifacts: - - "test/pkgs.log" - branches: ignore: - gh-pages @@ -16,10 +13,10 @@ dependencies: - sudo apt-get install autoconf2.59 gcc parallel - cd $HOME/bin && ln -s /usr/bin/autoconf2.59 autoconf - cd $HOME/bin && ln -s /usr/bin/autoheader2.59 autoheader - - CI_OTP=OTP-18.0.2 make -f core/core.mk -f plugins/ci.mk ci-prepare: + - CI_OTP=OTP-18.2.1 make -f core/core.mk -f plugins/ci.mk ci-prepare: timeout: 3600 test: override: - - source $HOME/erlang/OTP-18.0.2/activate && make -j 32 -k check - - source $HOME/erlang/OTP-18.0.2/activate && make -j 32 -k check LEGACY=1 + - source $HOME/erlang/OTP-18.2.1/activate && make -j 32 -k check + - source $HOME/erlang/OTP-18.2.1/activate && make -j 32 -k check LEGACY=1 |