From 44e21d99489a6a12d020ad890bb952fda8d41ec2 Mon Sep 17 00:00:00 2001
From: Yatao Li <yatli@microsoft.com>
Date: Tue, 11 Sep 2018 23:37:26 +0800
Subject: [PATCH] CI: 3rd attempt: trying to incorporate .net sdk into travis
 build

---
 .travis.yml | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 51e08a703..038874c0d 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,7 +5,6 @@ cache:
     - $DOCKER_TRAVIS_CI_CACHE_DIR
 sudo: required
 language: cpp
-dotnet: 2.1.4
 services:
   - docker
 env:
@@ -86,9 +85,15 @@ matrix:
       osx_image: xcode8.3
       # Note: Apple Clang does not support OpenMP
       env: Z3_BUILD_TYPE=RelWithDebInfo USE_OPENMP=0 DOTNET_BINDINGS=0
+
+matrix:
+  include:
+    - language: csharp
+      dotnet: 2.1.4
+      script:
+        # Add at least one dotnet command invocation to activate the build env.
+        - dotnet restore
 script:
-  # Add at least one dotnet command invocation to activate the build env.
-  - dotnet restore
   # Use `travis_wait` when doing LTO builds because this configuration will
   # have long link times during which it will not show any output which
   # TravisCI might kill due to perceived inactivity.