From 725bc771ffad7165bc5f845fc9dcdbf80a2523bc Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Thu, 30 Nov 2023 10:40:19 +0100 Subject: [PATCH 1/2] Automatic toolchain upgrade to nightly-2023-11-30 (#2904) Update Rust toolchain from nightly-2023-11-29 to nightly-2023-11-30 without any other source changes. This is an automatically generated pull request. If any of the CI checks fail, manual intervention is required. In such a case, review the changes at https://github.com/rust-lang/rust from https://github.com/rust-lang/rust/commit/5facb422f8a5a61df515572fe79b02433639d565 up to https://github.com/rust-lang/rust/commit/b10cfcd65fd7f7b1ab9beb34798b2108de003452. --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index be9562da31fd..108753847249 100644 --- 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"] From 5fc7172ce2b365a19f4dec91cc03624b32c8f6c3 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 30 Nov 2023 14:16:30 +0100 Subject: [PATCH 2/2] Add disk space output to debug occasional test failures (#2905) Despite freeing up disk space early on, we saw occasional failures like https://github.com/model-checking/kani/actions/runs/7030685174/job/19130721957 that look like running out of disk space. This change should be reverted once we have diagnosed the problem. --- scripts/kani-regression.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/scripts/kani-regression.sh b/scripts/kani-regression.sh index 74210a8e4731..161a96dbe1af 100755 --- 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."