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.
This commit is contained in:
David Testé
2025-11-18 11:56:02 +01:00
committed by David Testé
parent 4229523c50
commit bdef5b358e

3
.gitignore vendored
View File

@@ -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