From bdafcb5b96722392e04a2da94cacfb515fb02137 Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Fri, 10 Apr 2020 23:46:44 +0200
Subject: [PATCH] Fix Travis CI

---
 .travis.yml | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 8aa14fc84..5d7ee4ede 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,3 +1,4 @@
+os: linux
 dist: bionic
 sudo: false
 
@@ -10,21 +11,15 @@ cache:
 jobs:
   include:
     # Test stage
-    - php: 7.0
-      dist: xenial
-    - php: 7.1
     - php: 7.2
     - php: 7.3
     - php: 7.4
     - php: nightly
-    - php: hhvm-3.27 # until Sep 2019
-    - php: hhvm-3.30 # until Nov 2019
 
     # Branch deployment stage
     - stage: deploy-branch
       if: type == "push" && tag IS blank
-      php: 7.0
-      dist: xenial
+      php: 7.2
       install:
         - '[[ ",$DEPLOY_PHPDOC_BRANCHES," == *,"$TRAVIS_BRANCH",* ]] || travis_terminate 0'
         - install.sh --deploy
@@ -34,8 +29,7 @@ jobs:
     # Release deployment stage
     - stage: deploy-release
       if: tag IS present
-      php: 7.0
-      dist: xenial
+      php: 7.2
       install:
         - install.sh --deploy
       script: