P0nk 4004b36bfa Tag the merge commit instead of last commit in the PR ...

The merge commit is more suitable since it provides some context
and groups up all the commits.

2022-10-16 11:53:29 +02:00

..

bump-version.yml

Tag the merge commit instead of last commit in the PR

2022-10-16 11:53:29 +02:00

run-build.yml

Update build workflow - new name and updated dependencies

2022-10-16 08:48:32 +02:00