diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-07 16:28:55 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-07 16:31:28 +0200 |
| commit | 0809a4f783d2e1e68b1562132c87daf0077158a6 (patch) | |
| tree | 7ccb8da35707fc6624f49f3cd3e6863ae9c2d9b9 /.travis.yml | |
| parent | e22bc3f687533aec3ae28a0ef0ffab74096d7b26 (diff) | |
Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3."
This reverts commit 587e556a909fcd2e1507a9230d9cdaffa3f9394e from PR #1024.
This commit did not solve any issue at the time it was merged but made the
macOS package we produce compatible only with macOS 10.12 and later.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 1a9f6964f..656c9e187 100644 --- a/.travis.yml +++ b/.travis.yml @@ -136,7 +136,6 @@ matrix: packages: *coqide-packages - os: osx - osx_image: xcode8.3 env: - TEST_TARGET="test-suite" - COMPILER="4.02.3" @@ -149,7 +148,6 @@ matrix: - if: NOT type IS pull_request os: osx - osx_image: xcode8.3 env: - TEST_TARGET="" - COMPILER="4.02.3" |