From b03921f1ae59b079ddce06024499a679e3242e29 Mon Sep 17 00:00:00 2001
From: Nicolas Sarlin <nicolas.sarlin@zama.ai>
Date: Fri, 2 Aug 2024 17:12:04 +0200
Subject: [PATCH] chore(doc): ignore data repo in `check_md_docs_are_tested`

---
 tasks/src/check_tfhe_docs_are_tested.rs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/tasks/src/check_tfhe_docs_are_tested.rs b/tasks/src/check_tfhe_docs_are_tested.rs
index b8360fcf4d..5e418e3315 100644
--- a/tasks/src/check_tfhe_docs_are_tested.rs
+++ b/tasks/src/check_tfhe_docs_are_tested.rs
@@ -3,7 +3,12 @@ use std::collections::HashSet;
 use std::io::{Error, ErrorKind};
 
 // TODO use .gitignore or git to resolve ignored files
-const DIR_TO_IGNORE: [&str; 2] = [".git", "target"];
+const DIR_TO_IGNORE: [&str; 3] = [
+    ".git",
+    "target",
+    // If the data repo has been cloned, we ignore its README
+    "tfhe/tfhe-backward-compat-data",
+];
 
 const FILES_TO_IGNORE: [&str; 4] = [
     // This contains fragments of code that are unrelated to TFHE-rs