Skip to content

Commit

Permalink
real fix
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin committed Feb 5, 2024
1 parent e7d0a23 commit 3da5aa4
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions dev/releases/utils_github.py
Original file line number Diff line number Diff line change
Expand Up @@ -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")

Expand Down Expand Up @@ -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:
Expand Down

0 comments on commit 3da5aa4

Please sign in to comment.