From d79a127a85a1686b50fa387c9843e82ec0e43881 Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Sat, 17 Mar 2018 13:29:08 +0100
Subject: Use php7.2 for coverity, since we don't support nightly anymore

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index a17e46b..876b712 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,7 +6,7 @@ env:
 matrix:
   include:
   - env: TARGET="coverity"
-    php: nightly
+    php: '7.2'
     script: echo "Coverity, nothing to do."
     after_success: cat /home/travis/build/nbs-system/snuffleupagus/cov-int/scm_log.txt
     before_install: echo -n | openssl s_client -connect scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca-
-- 
cgit v1.3