chore(doc): ignore data repo in check_md_docs_are_tested

zama-ai · Aug 5, 2024 · b03921f · b03921f
1 parent 70f7af0
commit b03921f
Showing 1 changed file with 6 additions and 1 deletion.
diff --git 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