Remove lint for now

deniscostadsc · Dec 27, 2023 · 593d1a2 · 593d1a2
1 parent 3c25897
commit 593d1a2
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -32,10 +32,6 @@ jobs:
         run: |
           make check-tags
 
-      - name: run lint
-        run: |
-          make lint
-
       - name: run solutions
         run: |
           make run