From 99221bbdb1792ee4bc642006a372da76d257b7e5 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 22 Nov 2019 13:44:04 +0100
Subject: [CI] Test latest artifacts of SF instead of the stable version

---
 dev/ci/ci-basic-overlay.sh | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'dev/ci/ci-basic-overlay.sh')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index de21b17f9f..87122e0fb5 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -185,13 +185,6 @@
 : "${color_CI_GITURL:=https://github.com/fblanqui/color}"
 : "${color_CI_ARCHIVEURL:=${color_CI_GITURL}/archive}"
 
-########################################################################
-# SF
-########################################################################
-: "${sf_lf_CI_TARURL:=https://softwarefoundations.cis.upenn.edu/lf-current/lf.tgz}"
-: "${sf_plf_CI_TARURL:=https://softwarefoundations.cis.upenn.edu/plf-current/plf.tgz}"
-: "${sf_vfa_CI_TARURL:=https://softwarefoundations.cis.upenn.edu/vfa-current/vfa.tgz}"
-
 ########################################################################
 # TLC
 ########################################################################
-- 
cgit v1.2.3