chore(workflow): Improve workflow names

These show up on github under "Actions" and it should be possible to tell them apart.
2023-04-11 00:29:06 +02:00
parent ecd598185b
commit 736c82975f
1 changed files with 1 additions and 1 deletions
@@ -1,4 +1,4 @@
-name: "Build bemanitools"
+name: "Build bemanitools and publish release"

 on:
  push: