From c5acad73b43f53973e49265632a450e38d8fc08f Mon Sep 17 00:00:00 2001 From: renaud gaudin Date: Tue, 28 Mar 2023 07:56:37 +0000 Subject: [PATCH] Prevent incorrectly setting DEV_BRANCH DEV_BRANCH is used to change archive upload behavior. We current code it was incorrectly considering being on a dev branch while on main one (main) --- .github/scripts/common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/common.py b/.github/scripts/common.py index de84d13..ddbdf88 100644 --- a/.github/scripts/common.py +++ b/.github/scripts/common.py @@ -39,7 +39,7 @@ _ref = _environ.get("GITHUB_REF", "").split("/")[-1] MAKE_RELEASE = re.fullmatch(r"r_[0-9]+", _ref) is not None MAKE_RELEASE = MAKE_RELEASE and (_environ.get('GITHUB_EVENT_NAME') != 'schedule') -if not MAKE_RELEASE and _ref != "master": +if not MAKE_RELEASE and _ref != "main": DEV_BRANCH = _ref else: DEV_BRANCH = None