From 594dd94361464a39bf71fbbf67272cd187075245 Mon Sep 17 00:00:00 2001
From: Bernhard Kragl <bernhard.kragl@gmail.com>
Date: Sun, 29 Dec 2019 12:14:19 +0100
Subject: [PATCH] Fix #184: Travis build configuration validation warnings

---
 .travis.yml | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 384b49bf3..f56def253 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,7 +1,7 @@
 # vim: set sw=2 ts=2 softtabstop=2 expandtab:
 language: csharp
+os: linux
 dist: bionic
-sudo: true
 dotnet: 3.1
 mono: none
 git:
@@ -10,7 +10,7 @@ env:
   global:
     - SOLUTION=Source/Boogie-NetCore.sln
     - Z3URL=https://github.com/Z3Prover/z3/releases/download/z3-4.8.4/z3-4.8.4.d6df51951f4c-x64-ubuntu-14.04.zip
-  matrix:
+  jobs:
     - CONFIGURATION=Debug
     - CONFIGURATION=Release
 install:
@@ -26,15 +26,14 @@ script:
   - lit -v -D dotnet -D configuration=${CONFIGURATION} Test
 deploy:
   - provider: script
-    script:
-      - dotnet nuget push Source/BoogieDriver/bin/${CONFIGURATION}/Boogie*.nupkg -k ${NUGET_API_KEY} -s https://api.nuget.org/v3/index.json
+    script: dotnet nuget push Source/BoogieDriver/bin/${CONFIGURATION}/Boogie*.nupkg -k ${NUGET_API_KEY} -s https://api.nuget.org/v3/index.json
     skip_cleanup: true
     on:
       all_branches: true
       condition: $CONFIGURATION = Release && $TRAVIS_TAG =~ ^v.*$
   - provider: releases
     name: $TRAVIS_TAG
-    api_key:
+    token:
       secure: ZjKhOiIpC6R+Xfp1iJX/1a2DD1o+tYhUefZDqRjUfM4rDZqzvOBvY7mA/1BcqNs4gXJIk3p11Kud72cPSSS8iW2EVlRm2UlfdVOf2wmGys/TILvHNDWUoVFSxhVgxbzMVULp6fIrqDypaZ0PAYZVg2loLkVI5AZ/P35ZRVaa9oE=
     file_glob: true
     file: Source/BoogieDriver/bin/${CONFIGURATION}/Boogie*.nupkg