From 676e9e9334043ce74af74f85f889b0327a443d0b Mon Sep 17 00:00:00 2001
From: Christian Clason <c.clason@uni-graz.at>
Date: Mon, 9 May 2022 11:23:26 +0200
Subject: ci: lint runtime with stylua

---
 .github/workflows/ci.yml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to '.github')

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1aa0906ffc..87c270afbe 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -86,6 +86,13 @@ jobs:
         name: clint-full
         run: ./ci/run_lint.sh clint-full
 
+      - if: "!cancelled()"
+        name: stylua
+        uses: JohnnyMorganz/stylua-action@1.0.0
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+          args: --check runtime/
+
       - if: "!cancelled()"
         name: lualint
         run: ./ci/run_lint.sh lualint
-- 
cgit