Upgrade toolchain to 2025-12-03 #12494
kani.yml
on: pull_request
benchcomp-tests
4m 4s
perf
46m 11s
llbc-regression
3m 43s
documentation
1m 26s
Matrix: regression
Annotations
1 error and 2 warnings
|
regression (macos-15-intel)
The hosted runner lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
|
regression (macos-14)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.2
|
|
regression (macos-14)
[email protected] 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall [email protected]
|