Remove build files generated with cargo doc command (#2750)

model-checking · Sep 9, 2023 · 7334ba1 · 7334ba1
1 parent 1d7b0f9
commit 7334ba1
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/scripts/build-docs.sh b/scripts/build-docs.sh
@@ -87,5 +87,9 @@ ${MDBOOK} build -d $KANI_DIR/docs/book/rfc
 echo "Building rustdocs..."
 cd $KANI_DIR
 RUSTFLAGS="--cfg=kani" cargo doc -p kani --no-deps --target-dir docs/book/crates
+# We remove build files to avoid false positives in secret scanning alerts.
+# More details in: https://github.com/model-checking/kani/issues/2735
+echo "Removing build files from rustdocs..."
+rm -r docs/book/crates/debug
 
 echo "Finished documentation build successfully."