From 4242ccd602e1295a2bc3b95e9569c2355b3cb02f Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 13 May 2017 22:06:19 +0200
Subject: [travis] Move VST to required suite.

---
 .travis.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index adaae54872..7b6d41b384 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -53,7 +53,6 @@ matrix:
 
   allow_failures:
   - env: TEST_TARGET="ci-geocoq"
-  - env: TEST_TARGET="ci-vst"
 
   # Full Coq test-suite with two compilers
   # [TODO: use yaml refs and avoid duplication for packages list]
-- 
cgit v1.2.3