Kani CI

Upgrade toolchain to 2024-12-09 #9245

Sign in to view logs

Triggered via pull request December 9, 2024 18:27

carolynzech

synchronize #3768

carolynzech:2024-12-09-toolchain

Status Success

Total duration 57m 52s

Artifacts –

kani.yml

on: pull_request

benchcomp-tests

Matrix: regression

Annotations

1 error and 1 warning

regression (macos-13)

The `brew link` step did not complete successfully

regression (macos-14)

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