Travis: workaround for travis-ci/travis-ci#6307

also for Homebrew/homebrew-core#26358
alavrik · Apr 18, 2018 · 8c9b0f8 · 8c9b0f8
1 parent 116e8da
commit 8c9b0f8
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -18,6 +18,9 @@ else
     then
         brew update
 
+        # see https://github.com/Homebrew/homebrew-core/issues/26358
+        brew upgrade python
+
         # build dependencies (Mac OS X)
         brew install ocaml opam
 

diff --git a/.travis.yml b/.travis.yml
@@ -21,6 +21,9 @@ 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