From 8b35c0775330711e1c63a7e1d0515052812a9f02 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 10 Mar 2020 18:22:01 -0400
Subject: [ci] [gitlab] Move VST to `allow_failure`

VST has been broken for a few days, moving to allow failure.
---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 68bb24ac77..8b79dbf810 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -697,6 +697,7 @@ library:ci-verdi-raft:
 
 library:ci-vst:
   extends: .ci-template-flambda
+  allow_failure: true
 
 # Plugins are by definition the projects that depend on Coq's ML API
 
-- 
cgit v1.2.3