Upgrade toolchain to 2025-01-15 · model-checking/kani@b8d8e75

Triggered via pull request January 15, 2025 14:56

tautschnig

opened #3835

Status Success

Total duration 6m 33s

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.

python@3.13 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall python@3.13

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.1