But it’s not that hard for a developer to have GitHub archive those artifacts and make them available as a downloadable link. How? Just use the GitHub upload-artifact action ... the three files named ...