diff options
| author | jvoisin | 2018-03-17 13:29:08 +0100 |
|---|---|---|
| committer | jvoisin | 2018-03-17 13:29:08 +0100 |
| commit | d79a127a85a1686b50fa387c9843e82ec0e43881 (patch) | |
| tree | e44c959a6f50de04bacdda6ede0defe3d5afec2f | |
| parent | 927dc8558c7f33dea1179174a3be8297a375dc55 (diff) | |
Use php7.2 for coverity, since we don't support nightly anymore
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index a17e46b..876b712 100644 --- a/.travis.yml +++ b/.travis.yml | |||
| @@ -6,7 +6,7 @@ env: | |||
| 6 | matrix: | 6 | matrix: |
| 7 | include: | 7 | include: |
| 8 | - env: TARGET="coverity" | 8 | - env: TARGET="coverity" |
| 9 | php: nightly | 9 | php: '7.2' |
| 10 | script: echo "Coverity, nothing to do." | 10 | script: echo "Coverity, nothing to do." |
| 11 | after_success: cat /home/travis/build/nbs-system/snuffleupagus/cov-int/scm_log.txt | 11 | after_success: cat /home/travis/build/nbs-system/snuffleupagus/cov-int/scm_log.txt |
| 12 | 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- | 12 | 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- |