diff options
| -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- |