diff --git a/lhcbnightlyconf/Patches.py b/lhcbnightlyconf/Patches.py index b0661a4798acb7b2eebc2b2e0a1d3b14c005168c..060beff8cc635315349418d62b9f1c1c827f9582 100644 --- a/lhcbnightlyconf/Patches.py +++ b/lhcbnightlyconf/Patches.py @@ -62,6 +62,7 @@ PROJECT_NAMES = { "Alignment", "MooreOnline", "Panoptes", + "Boole", ] } @@ -88,6 +89,7 @@ SPECIAL_VERSIONS = { "LCG": LCG_DEFAULT_VERSION, "Gaudi": DEFAULT_GAUDI_VERSION, "Online": "master", + "Boole": "master", } }