Make the releases immutable

[ewjoachim]

GitHub finally started supporting immutable releases.

It looks like the "best practice" for actions isn't to publish major and minor tags that get shuffled around, but only immutable minor tags, and let people pin minor tags or commit hashes (though this becomes equivalent if we enable minor releases)

Let's make immutable releases !