Merge branch 'main' into update-toolchain-2023-12-08

model-checking · Dec 8, 2023 · f673e2c · f673e2c
2 parents 09b2982 + d26485a
commit f673e2c
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/scripts/kani-regression.sh b/scripts/kani-regression.sh
@@ -100,14 +100,6 @@ FEATURES_MANIFEST_PATH="$KANI_DIR/tests/cargo-kani/cargo-features-flag/Cargo.tom
 cargo kani --manifest-path "$FEATURES_MANIFEST_PATH" --harness trivial_success
 cargo clean --manifest-path "$FEATURES_MANIFEST_PATH"
 
-# Check that documentation compiles.
-echo "Current disk usage:"
-df -h
-echo "Starting doc tests:"
-cargo doc --workspace --no-deps --exclude std
-echo "Disk usage after documentation build:"
-df -h
-
 echo
 echo "All Kani regression tests completed successfully."
 echo