diff --git a/ci/lib.py b/ci/lib.py index 90fc15a76ec9697e0fd0d794af12d11000579961..6b7face6379a3e529377dbab0fe03283ad2888e4 100644 --- a/ci/lib.py +++ b/ci/lib.py @@ -33,7 +33,7 @@ def trim_dict(dict_data, allowed_keys=None, denied_keys=None): def executed_as_admin_user_in_ci(): """ identity the script user within CI pipeline """ - return os.environ.get('GITLAB_USER_LOGIN') in ('246254', '252651', 'Jan.Krystof', 'moravcova', '469240', 'Josef.Nemec', '247801') + return os.environ.get('GITLAB_USER_LOGIN') in ('246254', '252651', 'Jan.Krystof', 'moravcova', '469240', 'Josef.Nemec', '247801', '253466', '252985') def executed_in_ci(): """ detect CI environment """