Toolchain update 06-01-2025 · model-checking/kani@6ff5f3a

Triggered via pull request January 9, 2025 22:22

qinheping

synchronize #3814

Status Success

Total duration 6m 29s

Artifacts –

verify-std-check.yml

on: pull_request

Matrix: verify-std

4 errors and 2 warnings

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

[email protected] 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall [email protected]

Already linked: /opt/homebrew/Cellar/[email protected]/3.13.1