diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-09-05 13:11:29 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-09-15 10:23:57 +0200 |
commit | 587e556a909fcd2e1507a9230d9cdaffa3f9394e (patch) | |
tree | c5e26f48a065b4515a1adc6ed7ecb14ec7495f63 /.travis.yml | |
parent | 6c678a68c081ce24bbdcb092db3f57ef7e171dac (diff) |
Switch Travis to OSX 10.12 and Xcode 8.3.3.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 2d6d9a2a6..a8c6eb046 100644 --- a/.travis.yml +++ b/.travis.yml @@ -136,6 +136,7 @@ matrix: packages: *coqide-packages - os: osx + osx_image: xcode8.3 env: - TEST_TARGET="test-suite" - COMPILER="4.02.3" @@ -147,6 +148,7 @@ matrix: - brew install opam gnu-time - os: osx + osx_image: xcode8.3 env: - TEST_TARGET="" - COMPILER="4.02.3" |