Skip to content
Kani CI

Automatic toolchain upgrade to nightly-2025-08-27 #11650

Sign in to view logs

Automatic toolchain upgrade to nightly-2025-08-27

Automatic toolchain upgrade to nightly-2025-08-27 #11650

Triggered via pull request August 27, 2025 03:30
@zhassan-awszhassan-aws
reopened #4319
toolchain-2025-08-27
Status Failure
Total duration 55m 55s
Artifacts –

kani.yml

on: pull_request
benchcomp-tests
4m 36s
benchcomp-tests
perf
44m 41s
perf
llbc-regression
4m 39s
llbc-regression
documentation
2m 16s
documentation
Matrix: regression
Fit to window
Zoom out
Zoom in

Annotations

1 error and 14 warnings
llbc-regression
Process completed with exit code 1.
llbc-regression
Cache not found for keys: v0-rust-llbc-regression-Linux-x64-e3b3a384-f7e815ba, v0-rust-llbc-regression-Linux-x64-e3b3a384
benchcomp-tests
Cache not found for keys: v0-rust-kani-rust-cache-release-Linux-x64-e3b3a384-f7e815ba, v0-rust-kani-rust-cache-release-Linux-x64-e3b3a384
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-c285883c-f7e815ba, v0-rust-kani-rust-cache-dev-Darwin-arm64-c285883c
regression (ubuntu-24.04-arm)
Cache not found for keys: v0-rust-kani-rust-cache-dev-Linux-arm64-836b70fe-f7e815ba, v0-rust-kani-rust-cache-dev-Linux-arm64-836b70fe
regression (ubuntu-24.04)
Cache not found for keys: v0-rust-kani-rust-cache-dev-Linux-x64-e3b3a384-f7e815ba, v0-rust-kani-rust-cache-dev-Linux-x64-e3b3a384
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-e3b3a384-f7e815ba, v0-rust-kani-rust-cache-dev-Linux-x64-e3b3a384
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-e3b3a384-f7e815ba, v0-rust-kani-rust-cache-release-Linux-x64-e3b3a384
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-d989aa98-f7e815ba, v0-rust-kani-rust-cache-dev-Darwin-x64-d989aa98