linting as part of github workflow

fikin · May 31, 2024 · f4c76ca · f4c76ca
1 parent 5b8619b
commit f4c76ca
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/oncommit.yml b/.github/workflows/oncommit.yml
@@ -17,3 +17,7 @@ jobs:
       run: sudo ln -sf /usr/bin/lua5.3 /usr/bin/lua
     - name: Run lua tests
       run: make test
+    - name: Run lua linters
+      run: make lint
+    - name: Run lua coverage
+      run: make coverage