Automatic toolchain upgrade to nightly-2025-09-24 #11936
Triggered via pull request
September 24, 2025 05:28
Status
Success
Total duration
1h 23m 11s
Artifacts
–
kani.yml
on: pull_request
benchcomp-tests
5m 59s
perf
43m 47s
llbc-regression
5m 33s
documentation
4m 1s
Matrix: regression
Annotations
6 warnings
|
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-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 instead 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 instead before opening any issues or PRs.
|
|
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]
|