From 593d1a20b632b016aa712bb2f3befd071efe73f0 Mon Sep 17 00:00:00 2001
From: Denis Costa <deniscostadsc@gmail.com>
Date: Wed, 27 Dec 2023 15:57:25 -0300
Subject: [PATCH] Remove lint for now

---
 .github/workflows/ci.yaml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 52133bf3..a408576c 100644
--- 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