Update workflow names (#5421)

* Update workflow names

Most importantly gives unique names to `create-release.yml` and
`merge-release.yml`.

Other than that, this attempts to improve and unify the names of all
workflows.

* Update release workflow names

Co-authored-by: Álvaro Mondéjar <mondejar1994@gmail.com>

Co-authored-by: Álvaro Mondéjar <mondejar1994@gmail.com>

.github/workflows/add-labels.yml

@@ -1,4 +1,4 @@
-name: Pull Request Labeler
+name: Add Pull Request Labels
 on:
   pull_request_target:
     types: [opened]

.github/workflows/create-release.yml

@@ -1,4 +1,4 @@
-name: Automated releases
+name: Create Release Pull Request
 on:
   schedule:
     # "At 00:00 on Sunday" (https://crontab.guru/once-a-week)

.github/workflows/merge-release.yml

@@ -1,4 +1,4 @@
-name: Automated releases
+name: Merge Release Pull Request
 on:
   pull_request_review:
     types: [submitted]

.github/workflows/publish.yml

@@ -1,4 +1,4 @@
-name: Publish
+name: Publish Releases
 on:
   push:
     branches:

.github/workflows/remove-labels.yml

@@ -1,4 +1,4 @@
-name: Remove outdated labels
+name: Remove Outdated Labels
 on:
   pull_request_target:
     types:

.github/workflows/verify.yml

@@ -1,4 +1,4 @@
-name: Verify
+name: Verify Source
 on: [pull_request, push]
 
 jobs: