diff options
| author | jvoisin | 2018-12-07 19:57:57 +0000 |
|---|---|---|
| committer | GitHub | 2018-12-07 19:57:57 +0000 |
| commit | 244f3da227d07b94602a3b517fcb8aefeb9f459d (patch) | |
| tree | 1fa633421059c443921416cf2d8d112892e80bd5 | |
| parent | 765a2a7852606d73ed3852c12fe80219fbca8131 (diff) | |
Add support for php7.3
| -rw-r--r-- | .travis.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index c911885..3c241b5 100644 --- a/.travis.yml +++ b/.travis.yml | |||
| @@ -26,12 +26,16 @@ matrix: | |||
| 26 | - env: TARGET="gcc php7.2" CC="gcc" | 26 | - env: TARGET="gcc php7.2" CC="gcc" |
| 27 | before_install: pip install --user cpp-coveralls | 27 | before_install: pip install --user cpp-coveralls |
| 28 | php: '7.2' | 28 | php: '7.2' |
| 29 | - env: TARGET="gcc php7.3" CC="gcc" | ||
| 30 | php: '7.3' | ||
| 29 | - env: TARGET="clang php7.0" CC="clang" | 31 | - env: TARGET="clang php7.0" CC="clang" |
| 30 | php: '7.0' | 32 | php: '7.0' |
| 31 | - env: TARGET="clang php7.1" CC="clang" | 33 | - env: TARGET="clang php7.1" CC="clang" |
| 32 | php: '7.1' | 34 | php: '7.1' |
| 33 | - env: TARGET="clang php7.2" CC="clang" | 35 | - env: TARGET="clang php7.2" CC="clang" |
| 34 | php: '7.2' | 36 | php: '7.2' |
| 37 | - env: TARGET="clang php7.3" CC="clang" | ||
| 38 | php: '7.3' | ||
| 35 | - env: TARGET="gcc php nightly" CC="gcc" | 39 | - env: TARGET="gcc php nightly" CC="gcc" |
| 36 | php: nightly | 40 | php: nightly |
| 37 | - env: TARGET="clang php nightly" CC="clang" | 41 | - env: TARGET="clang php nightly" CC="clang" |
| @@ -39,6 +43,8 @@ matrix: | |||
| 39 | allow_failures: | 43 | allow_failures: |
| 40 | - env: TARGET="clang php nightly" CC="clang" # https://bugs.llvm.org/show_bug.cgi?id=9295 | 44 | - env: TARGET="clang php nightly" CC="clang" # https://bugs.llvm.org/show_bug.cgi?id=9295 |
| 41 | php: nightly | 45 | php: nightly |
| 46 | - env: TARGET="clang php7.3" CC="clang" # https://bugs.llvm.org/show_bug.cgi?id=9295 | ||
| 47 | php: '7.3' | ||
| 42 | 48 | ||
| 43 | script: | 49 | script: |
| 44 | - 'if [[ ! "${TARGET}" = *"nightly"* ]]; then | 50 | - 'if [[ ! "${TARGET}" = *"nightly"* ]]; then |
