Skip to content

Update toolchain to 2025-03-04 #9897

Update toolchain to 2025-03-04

Update toolchain to 2025-03-04 #9897

Triggered via pull request March 10, 2025 18:58
Status Success
Total duration 53m 49s
Artifacts

kani.yml

on: pull_request
Matrix: regression
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
regression (macos-14)
These files were overwritten during the `brew link` step:
regression (macos-14)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.2
regression (macos-13)
[email protected] 3.13.2 is already installed and up-to-date. To reinstall 3.13.2, run: brew reinstall [email protected]
regression (macos-13)
Already linked: /usr/local/Cellar/[email protected]/3.13.2