Upgrade Rust toolchain to 2025-09-10 #11836
Triggered via pull request
September 10, 2025 15:26
tautschnig
Status
Success
Total duration
1h 0m 43s
Artifacts
–
kani.yml
on: pull_request
benchcomp-tests
4m 47s
perf
44m 5s
llbc-regression
4m 15s
documentation
4m 15s
Matrix: regression
Annotations
14 warnings
|
llbc-regression
Cache not found for keys: v0-rust-llbc-regression-Linux-x64-cbe335fe-49855001, v0-rust-llbc-regression-Linux-x64-cbe335fe
|
|
benchcomp-tests
Cache not found for keys: v0-rust-kani-rust-cache-release-Linux-x64-cbe335fe-49855001, v0-rust-kani-rust-cache-release-Linux-x64-cbe335fe
|
|
regression (ubuntu-24.04-arm)
Cache not found for keys: v0-rust-kani-rust-cache-dev-Linux-arm64-5a3afe3a-49855001, v0-rust-kani-rust-cache-dev-Linux-arm64-5a3afe3a
|
|
regression (ubuntu-24.04)
Cache not found for keys: v0-rust-kani-rust-cache-dev-Linux-x64-cbe335fe-49855001, v0-rust-kani-rust-cache-dev-Linux-x64-cbe335fe
|
|
regression (ubuntu-22.04)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
|
|
regression (ubuntu-22.04)
Cache not found for keys: v0-rust-kani-rust-cache-dev-Linux-x64-cbe335fe-49855001, v0-rust-kani-rust-cache-dev-Linux-x64-cbe335fe
|
|
regression (macos-14)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
regression (macos-14)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
regression (macos-14)
Cache not found for keys: v0-rust-kani-rust-cache-dev-Darwin-arm64-a3f37bca-49855001, v0-rust-kani-rust-cache-dev-Darwin-arm64-a3f37bca
|
|
perf
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
|
|
perf
Cache not found for keys: v0-rust-kani-rust-cache-release-Linux-x64-cbe335fe-49855001, v0-rust-kani-rust-cache-release-Linux-x64-cbe335fe
|
|
regression (macos-13)
Already linked: /usr/local/Cellar/[email protected]/3.13.7
|
|
regression (macos-13)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
regression (macos-13)
Cache not found for keys: v0-rust-kani-rust-cache-dev-Darwin-x64-d4ebaac0-49855001, v0-rust-kani-rust-cache-dev-Darwin-x64-d4ebaac0
|