From f4dbe2245ffcf27363854575e0bdbec5c1a3ff37 Mon Sep 17 00:00:00 2001
From: "Mayeul@Zama" <mayeul.debellabre@zama.ai>
Date: Wed, 15 Mar 2023 11:19:44 +0100
Subject: [PATCH] chore(CI): linelint

---
 .github/workflows/linelint.yml | 18 ++++++++++++++++++
 .linelint.yml                  |  5 -----
 2 files changed, 18 insertions(+), 5 deletions(-)
 create mode 100644 .github/workflows/linelint.yml

diff --git a/.github/workflows/linelint.yml b/.github/workflows/linelint.yml
new file mode 100644
index 000000000..be791bb5e
--- /dev/null
+++ b/.github/workflows/linelint.yml
@@ -0,0 +1,18 @@
+# This job is the main jobs will dispatch build and test for every modules of our mono repo.
+name: Linelint
+
+on:
+  pull_request:
+  push:
+    branches:
+      - 'main'
+
+jobs:
+  linelint:
+    runs-on: ubuntu-20.04
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+      - name: Linelint
+        uses: fernandrone/linelint@0.0.4
+        id: linelint
diff --git a/.linelint.yml b/.linelint.yml
index 4e58c4302..dbac77a86 100644
--- a/.linelint.yml
+++ b/.linelint.yml
@@ -4,11 +4,6 @@ autofix: false
 # list of paths to ignore, uses gitignore syntaxes (executes before any rule)
 ignore:
   - .git/
-  - llvm-project/
-  - compiler/concrete-optimizer
-  - compiler/concrete-core
-  - compiler/parameter-curves
-  - google-benchmark
 
 rules:
   # checks if file ends in a newline character