Skip to content

Comments

fix: check SHA-256 hash of release artifact#240

Merged
guidanoli merged 1 commit intomainfrom
feature/sha256sum-check
Feb 19, 2026
Merged

fix: check SHA-256 hash of release artifact#240
guidanoli merged 1 commit intomainfrom
feature/sha256sum-check

Conversation

@guidanoli
Copy link
Collaborator

It's good practice to check the hash of a downloaded file, to avoid supply-chain attacks.
Besides this change, this PR also:

  • Forces wget to write the file to add-generated-files.diff by passing the -O option. Without such option, wget may avoid writing over add-generated-files.diff and instead write to add-generated-files.diff.SUFFIX where SUFFIX is some suffix added by wget to avoid collision with an already-existing file.

  • Removes the add-generated-files.diff file after applying it. This ensures the Git submodule at machine/emulator stays clean after the repository is setup.

@guidanoli guidanoli requested a review from stephenctw February 11, 2026 23:36
@guidanoli guidanoli self-assigned this Feb 11, 2026
@guidanoli guidanoli requested a review from GCdePaula February 12, 2026 18:20
Copy link
Collaborator

@GCdePaula GCdePaula left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Left a minor comment!

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should you instead run the justfile target you updated in this CI step?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The CI workflow already did wget, so I didn't want to change the workflow.
If we can use the just target, we can do that in a separate PR.

@guidanoli guidanoli merged commit 7bc6587 into main Feb 19, 2026
7 checks passed
@guidanoli guidanoli deleted the feature/sha256sum-check branch February 19, 2026 11:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants