From 8c9b0f8a5df711b787c6c76c5a1c959c8860776e Mon Sep 17 00:00:00 2001 From: Anton Lavrik Date: Wed, 18 Apr 2018 00:07:01 -0700 Subject: [PATCH] Travis: workaround for travis-ci/travis-ci#6307 also for https://github.com/Homebrew/homebrew-core/issues/26358 --- .travis-ci.sh | 3 +++ .travis.yml | 3 +++ 2 files changed, 6 insertions(+) diff --git a/.travis-ci.sh b/.travis-ci.sh index b1039401..d12db8c6 100755 --- 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 index aa7fc44c..dc9acd8d 100644 --- 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