ci: rename workflow

This workflow will only be used when PRs are merged (because of the `on`
key), so we make the name more specific.
This commit is contained in:
Lorenzo Manacorda 2024-11-25 21:14:36 +01:00
parent 25c3f52463
commit 0df042d497

View file

@ -1,4 +1,4 @@
name: Update PR labels name: Merged RFC
on: on:
pull_request: pull_request: