bjorn3 aab1526164 Recreate the release every time ...

To ensure people who watch the repo for release notifications actually get a
notification.

2023-03-25 16:24:15 +00:00

..

github-release

Recreate the release every time

2023-03-25 16:24:15 +00:00