Try to fix travis-ci OSX build

alavrik · Aug 18, 2019 · 86ba75f · 86ba75f
1 parent 749abf3
commit 86ba75f
Showing 1 changed file with 0 additions and 3 deletions.
diff --git 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