build: add EditorConfig lint step to GitHub workflows

kgryte · kgryte · commit 62e4f97b3ab1 · 2024-12-17T01:52:04.000-08:00
diff --git a/.github/workflows/lint_changed_files.yml b/.github/workflows/lint_changed_files.yml
@@ -116,6 +116,12 @@ jobs:
           # Lint filenames:
           echo "${{ steps.changed-files.outputs.files }}" || "${lint_filenames}"
 
+      # Lint files against EditorConfig:
+      - name: 'Lint against EditorConfig'
+        if: success() || failure()
+        run: |
+          make lint-editorconfig-files FILES="${{ steps.changed-files.outputs.files }}"
+
       # Lint Markdown files:
       - name: 'Lint Markdown files'
         if: success() || failure()
diff --git a/.github/workflows/lint_random_files.yml b/.github/workflows/lint_random_files.yml
@@ -195,6 +195,12 @@ jobs:
           # Lint filenames:
           echo "${{ steps.random-files.outputs.files }}" | tr ',' '\n' | "${lint_filenames}"
 
+      # Lint files against EditorConfig:
+      - name: 'Lint against EditorConfig'
+        if: success() || failure()
+        run: |
+          make lint-editorconfig-files FILES="${{ steps.random-files.outputs.files }}"
+
       # Lint Markdown files:
       - name: 'Lint Markdown files'
         if: ( github.event.inputs.markdown != 'false' ) && ( success() || failure() )
