Enable lint again

deniscostadsc · Jan 4, 2024 · f5a9346 · f5a9346
1 parent 2801b5c
commit f5a9346
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -32,6 +32,10 @@ jobs:
         run: |
           make check-tags
 
+      - name: check lint
+        run: |
+          make lint
+
       - name: run solutions
         run: |
           make run