chore(CI): rename workflow

This commit is contained in:
Francesco Borzì 2021-11-10 10:11:15 +01:00 committed by GitHub
parent acf6aab247
commit 5223f040fb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,4 +1,4 @@
name: Pull Request Labeler
name: PR Labeler
on:
- pull_request_target