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

guidanoli wants to merge 1 commit intomaincartesi/dave:mainfrom

feature/sha256sum-checkcartesi/dave:feature/sha256sum-checkCopy head branch name to clipboard