diff --git a/.github/workflows/pull-request.yml b/.github/workflows/ci.yml similarity index 98% rename from .github/workflows/pull-request.yml rename to .github/workflows/ci.yml index d647fd351..3d57078eb 100644 --- a/.github/workflows/pull-request.yml +++ b/.github/workflows/ci.yml @@ -1,5 +1,5 @@ --- -name: Pull Request +name: CI on: # yamllint disable-line rule:truthy merge_group: