From e4b2324e809ea4ed12c400a5298a248428869454 Mon Sep 17 00:00:00 2001
From: Lucas Werkmeister <lucas.werkmeister@wikimedia.de>
Date: Fri, 12 Apr 2019 18:56:07 +0200
Subject: [PATCH] =?UTF-8?q?Don=E2=80=99t=20test=20on=20HHVM=20in=20CI?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

It doesn’t seem to work, I’m not sure why.
---
 .travis.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index cc1cb30..8de7afa 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -11,10 +11,6 @@ matrix:
       php: 7.2
     - env: DBTYPE=mysql
       php: 7.2
-    - env: DBTYPE=mysql
-      php: hhvm
-    - env: DBTYPE=sqlite
-      php: hhvm
 
 before_script:
   - bash ./build/travis/before_script.sh