diff --git a/.travis.yml b/.travis.yml index 7dc15f28..f3c04e79 100644 --- a/.travis.yml +++ b/.travis.yml @@ -20,9 +20,6 @@ matrix: # testing only basic install on osx with latest homebrew formulas - os: osx env: OCAML_VERSION=homebrew - before_script: - - gpg --keyserver hkp://keys.gnupg.net --recv-keys 409B6B1796C275462A1703113804BB82D39DC0E3 7D2BAF1CF37B13E2069D6956105BD0E739499BDB - - rvm get head # workaround for https://github.com/travis-ci/travis-ci/issues/6307 branches: only: - master