From 01fa37d8a5c6cdb6b3914e83ad252b8c2b907d55 Mon Sep 17 00:00:00 2001
From: Raymond Toy <toy.raymond@gmail.com>
Date: Sat, 7 Jul 2018 12:01:45 -0700
Subject: [PATCH] Use Ubuntu 14.04

Let's see if 14.04 works better. I don't feel like debugging the test
failure in a VM right now.  And I don't want to set up everything to
use Fedora (which is what my linux box is running).
---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 95ba36658..93fca7064 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,7 +3,7 @@ variables:
   version: "2018-03-x86"
 
 linux-runner:
-  image: ubuntu:16.04
+  image: ubuntu:14.04
   tags:
     - linux
   before_script:
-- 
GitLab