From 0040097c9bf32b149caf1c97c8d209291d1eff05 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Thu, 21 Sep 2017 16:04:24 +0200
Subject: Do not run Travis OS X packaging job on PRs

This job was useless anyway because the depoly and pre-deploy phases were not run.
---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index b9ea455da..6c926aacb 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -147,7 +147,8 @@ matrix:
       - brew update --debug --verbose
       - brew install opam gnu-time
 
-    - os: osx
+    - if: NOT type IS pull_request
+      os: osx
       osx_image: xcode8.3
       env:
       - TEST_TARGET=""
-- 
cgit v1.2.3