From f91318e456845c5f43f6c44d5e127d84df3e0bbe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Kone=C4=8Dn=C3=BD?= <jakub.konecny2@centrum.cz>
Date: Tue, 23 Jul 2024 15:17:18 +0200
Subject: [PATCH] ci: run wmllint and wmlindent

---
 .github/workflows/lint.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 .github/workflows/lint.yml

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
new file mode 100644
index 0000000..0fd722c
--- /dev/null
+++ b/.github/workflows/lint.yml
@@ -0,0 +1,16 @@
+name: lint
+
+on: [push, pull_request]
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout repository
+      uses: actions/checkout@v4
+    - name: Lint WML
+      uses: czyzby/wesnoth-wml-linter@v1
+      with:
+        wesnoth-version: 1.18
+        spellcheck: false