From 45999fca8b27d8afdf67d2f3576289fd2bdf51bc Mon Sep 17 00:00:00 2001 From: alberta Date: Tue, 23 Jan 2024 17:27:28 +0100 Subject: [PATCH] remove useless option --- easybuild/easyconfigs/s/sktime/sktime-0.25.0-gfbf-2023a.eb | 1 - 1 file changed, 1 deletion(-) diff --git a/easybuild/easyconfigs/s/sktime/sktime-0.25.0-gfbf-2023a.eb b/easybuild/easyconfigs/s/sktime/sktime-0.25.0-gfbf-2023a.eb index b5e07a105c3..86d063a85c3 100644 --- a/easybuild/easyconfigs/s/sktime/sktime-0.25.0-gfbf-2023a.eb +++ b/easybuild/easyconfigs/s/sktime/sktime-0.25.0-gfbf-2023a.eb @@ -29,7 +29,6 @@ exts_list = [ }), ] -download_dep_fail = True use_pip = True sanity_pip_check = True