Commits on Aug 27, 2024

1. Introduce dedicated publish workflow …

   Introduce a dedicated workflow for publishing the crate by push of a
   button. This is a much nicer experience than having to push a tag, in my
   opinion, and there is no longer a need for mismatch check. Instead of
   the user having to create the tag, let GitHub Actions do it for us.
   Security-wise this reversal shouldn't matter: it's just meta-data
   attached to a commit, which we can easily verify that it hasn't changed.
   Because tags did not seem to be signed in past, we are not loosing
   anything there either by having a some piece of infrastructure do it.
   
   Signed-off-by: Daniel Müller <[email protected]>

   

   d-e-s-o committed Aug 27, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 8ad638d
   • Browse repository at this point

   Copy the full SHA

   8ad638d View commit details

   Browse the repository at this point in the history