From ca6f4e5e877bb1e2980b5f5dde802239db1332a7 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 23 Oct 2023 18:41:27 +0200 Subject: [PATCH] WIP6 --- dev/releases/utils.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev/releases/utils.py b/dev/releases/utils.py index 5b231f4273..491717b52a 100644 --- a/dev/releases/utils.py +++ b/dev/releases/utils.py @@ -141,7 +141,7 @@ def run_with_log(args, name, msg = None): error(msg+" failed. See "+name+".log.") def is_possible_gap_release_tag(tag): - return tag == "nightly" || re.fullmatch( r"v[1-9]+\.[0-9]+\.[0-9]+", tag) != None + return tag == "nightly" or re.fullmatch( r"v[1-9]+\.[0-9]+\.[0-9]+", tag) != None def verify_is_possible_gap_release_tag(tag): if not is_possible_gap_release_tag(tag):