From adebe4aca95a9c178f0e28cade0eb3ac41d00ff1 Mon Sep 17 00:00:00 2001 From: greta Date: Tue, 10 Oct 2023 14:11:25 +0200 Subject: [PATCH] Change php-lint-summary to lint-summary Signed-off-by: greta --- .github/workflows/lint.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 05e7906b80..0f22474bbf 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -89,7 +89,7 @@ jobs: if: always() - name: lint-summary + name: php-lint-summary steps: - name: XML linter status