Automatic toolchain upgrade to nightly-2025-10-27 #12157
Triggered via pull request
October 30, 2025 20:16
tautschnig
Status
Success
Total duration
2h 29m 42s
Artifacts
–
kani.yml
on: pull_request
benchcomp-tests
6m 13s
perf
43m 50s
llbc-regression
5m 36s
documentation
3m 20s
Matrix: regression
Annotations
7 warnings and 1 notice
|
regression (macos-14)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.0_1
|
|
regression (macos-13)
You are using macOS 13.
We (and Apple) do not provide support for this old version.
This is a Tier 3 configuration:
https://docs.brew.sh/Support-Tiers#tier-3
You can report Tier 3 unrelated issues to Homebrew/* repositories!
Read the above document before opening any issues or PRs.
|
|
regression (macos-13)
You are using macOS 13.
We (and Apple) do not provide support for this old version.
This is a Tier 3 configuration:
https://docs.brew.sh/Support-Tiers#tier-3
You can report Tier 3 unrelated issues to Homebrew/* repositories!
Read the above document before opening any issues or PRs.
|
|
regression (macos-13)
Already linked: /usr/local/Cellar/python@3.14/3.14.0_1
|
|
regression (macos-13)
The post-install step did not complete successfully
|
|
regression (macos-13)
These files were overwritten during the `brew link` step:
|
|
regression (macos-13)
You are using macOS 13.
We (and Apple) do not provide support for this old version.
This is a Tier 3 configuration:
https://docs.brew.sh/Support-Tiers#tier-3
You can report Tier 3 unrelated issues to Homebrew/* repositories!
Read the above document before opening any issues or PRs.
|
|
regression (macos-13)
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046
|