Remove build files generated with cargo doc

model-checking · Sep 8, 2023 · b9938dd · b9938dd
1 parent c8266bf
commit b9938dd
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."