From bdef5b358e8f375974ff035c47ecabc966047218 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20Test=C3=A9?= <david.teste@zama.ai>
Date: Tue, 18 Nov 2025 11:56:02 +0100
Subject: [PATCH] chore(ci): ignore only specific files in ci folder

The whole ci/ folder was ignored, that would cause issue regarding search capability in some IDE.
---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index c0c9dcae0..cf65b6b60 100644
--- a/.gitignore
+++ b/.gitignore
@@ -36,7 +36,8 @@ package-lock.json
 .env
 __pycache__
 
-ci/
+# File auto-generated by the lattice-estimator from lattice_estimator.sage
+ci/lattice_estimator.sage.py
 
 # In case someone clones the lattice-estimator locally to verify security
 /lattice-estimator