From 5e58d374eff7a7ea0f6d42096bea3c23ae05e4fa Mon Sep 17 00:00:00 2001 From: Jakob Edding <15202881+JakobEdding@users.noreply.github.com> Date: Mon, 16 Dec 2024 17:31:41 +0100 Subject: [PATCH] Avoid confusion about lint workflow for GitHub CI components (#110) --- .github/workflows/{lint.yaml => meta-lint.yaml} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename .github/workflows/{lint.yaml => meta-lint.yaml} (91%) diff --git a/.github/workflows/lint.yaml b/.github/workflows/meta-lint.yaml similarity index 91% rename from .github/workflows/lint.yaml rename to .github/workflows/meta-lint.yaml index 5c0bbe3..5ba5a58 100644 --- a/.github/workflows/lint.yaml +++ b/.github/workflows/meta-lint.yaml @@ -1,4 +1,4 @@ -name: Lint CI +name: Lint the GitHub CI YAMLs on: pull_request: