Merge branch 'main' into smir-reachability

model-checking · Nov 30, 2023 · ba62017 · ba62017
2 parents f33a537 + 5fc7172
commit ba62017
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2023-11-29"
+channel = "nightly-2023-11-30"
 components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]
diff --git a/scripts/kani-regression.sh b/scripts/kani-regression.sh
@@ -101,8 +101,12 @@ 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."