diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2023-01-01 03:18:47 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-01 03:18:47 -0500 |
commit | 0adefababf1337576a46dd13ced5903db39a71dd (patch) | |
tree | 758920e17c45f01cc2e44b1f6b8aee325b203beb /scripts | |
parent | 543fd6c04707abadd83677d2778557cff94ce1ea (diff) |
ci: use a better way of getting branch from tagged builds for CirrusCI (#948)
* ci: use a better way of getting branch from tagged builds for CirrusCI
* add a bit more logging
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/cirrus/build.py | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/scripts/cirrus/build.py b/scripts/cirrus/build.py index 0499d91a..02e34347 100644 --- a/scripts/cirrus/build.py +++ b/scripts/cirrus/build.py @@ -107,16 +107,12 @@ def main(): key = env["CIRRUS_KEY"] branch = args[1] - branch_type = args[2] - - # TODO: This is a bit of a hack, sorry. You want to properly handle this I suppose with the endpoint you hit. - if branch_type == "tag": - branch = "master" - - dl_path = args[3] if len(args) >= 4 else "" + dl_path = args[2] if len(args) >= 3 else "" dl_path = Path(dl_path) - build_type = args[4] if len(args) >= 5 else "build" - build_id = args[5] if len(args) >= 6 else None + build_type = args[3] if len(args) >= 4 else "build" + build_id = args[4] if len(args) >= 5 else None + + print(f"Running Cirrus script with branch '{branch}'") # Check if this build has already been completed before. if build_id is not None: |