From e2c15798161546a787da17dc40c0699e1872a162 Mon Sep 17 00:00:00 2001
From: Cosmin Truta <ctruta@gmail.com>
Date: Wed, 28 May 2025 10:55:24 +0300
Subject: [PATCH] ci: Add action-editorconfig-checker to the GitHub Action for
 linting

The editorconfig-checker program is not installed by default in the OS
used by GitHub Actions. Fortunately, the editorconfig-checker authors
have kindly provided the action-editorconfig-checker repository, which
we are now using.
---
 .github/workflows/lint.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index ddc483d99..65a63b41a 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -23,6 +23,8 @@ jobs:
           restore-keys: ${{ runner.os }}-pip-
       - name: Install yamllint
         run: pip install yamllint
+      - name: Install editorconfig-checker
+        uses: editorconfig-checker/action-editorconfig-checker@main
       - name: Check out the code
         uses: actions/checkout@v4
       - name: Run the linting script