From cdda260063cdf6bf3ad8acead606847112970d5f Mon Sep 17 00:00:00 2001
From: Arthur Meyre <arthur.meyre@zama.ai>
Date: Wed, 29 Nov 2023 16:33:31 +0100
Subject: [PATCH] chore(ci): .gitignore was ignoring all files/directories
 names keys

- this was hiding some source files in vscode search and could likely have
been very annoying when commiting stuff
---
 .gitignore | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 24ca9bbac..a51da3583 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,9 +3,9 @@ target/
 .vscode/
 
 # Path we use for internal-keycache during tests
-keys/
+/keys/
 # In case of symlinked keys
-keys
+/keys
 
 **/Cargo.lock
 **/*.bin
@@ -18,4 +18,4 @@ keys
 dieharder_run.log
 
 # Coverage reports
-./coverage/
+/coverage/