From 9ebe0122113aadf9449719d1b6a6f15a8e530be2 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 15 Mar 2020 15:56:22 -0400
Subject: [ci] Re-enable VST testing

VST has been fixed upstream, c.f.
https://github.com/PrincetonUniversity/VST/issues/392
---
 .gitlab-ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8b79dbf810..68bb24ac77 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -697,7 +697,6 @@ 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