From 4ab2dcdc7128bf001ef870f2f08291c3148939e5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Thomas=20R=C3=B6blitz?= Date: Sun, 26 Nov 2023 12:10:41 +0100 Subject: [PATCH] support defaults for EESSI pilot and software.eessi.io Co-authored-by: Kenneth Hoste --- tasks/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tasks/build.py b/tasks/build.py index af30b10c..fd4d511f 100644 --- a/tasks/build.py +++ b/tasks/build.py @@ -432,7 +432,7 @@ def prepare_jobs(pr, cfg, event_info, action_filter): for repo_id in repocfg[REPO_TARGET_MAP][arch]: # ensure repocfg contains information about the repository repo_id if repo_id != EESSI # Note, EESSI is a bad/misleading name, it should be more like AS_IN_CONTAINER - if repo_id != "EESSI" and repo_id not in repocfg: + if (repo_id != "EESSI" and repo_id != "EESSI-pilot") and repo_id not in repocfg: log(f"{fn}(): skipping repo {repo_id}, it is not defined in repo config {repocfg[REPOS_CFG_DIR]}") continue