From 5d426eecb6c7f2e956cde98780aef349fdc75af0 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Tue, 7 May 2019 14:17:50 +0000
Subject: Remove overlays for CompCert and VST

---
 dev/ci/user-overlays/09854-vbgl-field_simplify_int.sh | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'dev')

diff --git a/dev/ci/user-overlays/09854-vbgl-field_simplify_int.sh b/dev/ci/user-overlays/09854-vbgl-field_simplify_int.sh
index 88f5f73e5f..720adbc979 100644
--- a/dev/ci/user-overlays/09854-vbgl-field_simplify_int.sh
+++ b/dev/ci/user-overlays/09854-vbgl-field_simplify_int.sh
@@ -1,12 +1,6 @@
 if [ "$CI_PULL_REQUEST" = "9854" ] || [ "$CI_BRANCH" = "field_simplify_int" ]; then
 
-    compcert_CI_REF=field_simplify_int
-    compcert_CI_GITURL=https://github.com/vbgl/CompCert
-
     coquelicot_CI_REF=field_simplify_int
     coquelicot_CI_GITURL=https://gitlab.com/vbgl/coquelicot
 
-    vst_CI_REF=field_simplify_int
-    vst_CI_GITURL=https://github.com/vbgl/VST
-
 fi
-- 
cgit v1.2.3