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

..

actions/github-release

Recreate the release every time

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

workflows

Publish a dev release on every commit

2023-03-24 19:23:04 +00:00