Upgrade toolchain to 06/30 #11007
carolynzechkani.yml
on: pull_request
benchcomp-tests
4m 59s
perf
49m 8s
llbc-regression
4m 5s
documentation
2m 18s
Matrix: regression
Annotations
13 warnings
|
llbc-regression
Cache not found for keys: v0-rust-llbc-regression-Linux-x64-355dad3e-2f509f3d, v0-rust-llbc-regression-Linux-x64-355dad3e
|
|
benchcomp-tests
Cache not found for keys: v0-rust-kani-rust-cache-release-Linux-x64-355dad3e-2f509f3d, v0-rust-kani-rust-cache-release-Linux-x64-355dad3e
|
|
regression (ubuntu-24.04)
Cache not found for keys: v0-rust-kani-rust-cache-dev-Linux-x64-355dad3e-2f509f3d, v0-rust-kani-rust-cache-dev-Linux-x64-355dad3e
|
|
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-355dad3e-2f509f3d, v0-rust-kani-rust-cache-dev-Linux-x64-355dad3e
|
|
regression (macos-14)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.5
|
|
regression (macos-14)
python@3.13 3.13.5 is already installed and up-to-date.
To reinstall 3.13.5, run:
brew reinstall python@3.13
|
|
regression (macos-14)
Cache not found for keys: v0-rust-kani-rust-cache-dev-Darwin-arm64-65a5b42f-2f509f3d, v0-rust-kani-rust-cache-dev-Darwin-arm64-65a5b42f
|
|
regression (macos-13)
Already linked: /usr/local/Cellar/python@3.13/3.13.5
|
|
regression (macos-13)
python@3.13 3.13.5 is already installed and up-to-date.
To reinstall 3.13.5, run:
brew reinstall python@3.13
|
|
regression (macos-13)
Cache not found for keys: v0-rust-kani-rust-cache-dev-Darwin-x64-c523c266-2f509f3d, v0-rust-kani-rust-cache-dev-Darwin-x64-c523c266
|
|
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-355dad3e-2f509f3d, v0-rust-kani-rust-cache-release-Linux-x64-355dad3e
|