From 3da5aa4b8715f51191b1e0b906c44f7ea485e66c Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 5 Feb 2024 09:55:52 +0100 Subject: [PATCH] real fix --- dev/releases/utils_github.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev/releases/utils_github.py b/dev/releases/utils_github.py index de9e9ba2f0..c80f349d42 100644 --- a/dev/releases/utils_github.py +++ b/dev/releases/utils_github.py @@ -16,7 +16,7 @@ import sys import github -from utils import error, notice, verify_via_checksumfile +from utils import error, notice, sha256file, verify_via_checksumfile CURRENT_REPO_NAME = os.environ.get("GITHUB_REPOSITORY", "gap-system/gap") @@ -73,7 +73,7 @@ def upload_asset_with_checksum(release, filename): else: notice("Writing new checksum file") with open(checksum_filename, "w") as checksumfile: - checksumfile.write(utils.sha256file(filename)) + checksumfile.write(sha256file(filename)) for file in [filename, checksum_filename]: try: