Kani CI

Fix CHANGELOG of 0.60.0 #9883

Sign in to view logs

Triggered via pull request March 6, 2025 19:37

qinheping

opened #3925

qinheping:release-kani-0.60.0

Status Success

Total duration 59m 2s

Artifacts –

kani.yml

on: pull_request

benchcomp-tests

Matrix: regression

Annotations

4 warnings

regression (macos-14)

These files were overwritten during the `brew link` step:

regression (macos-14)

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

regression (macos-13)

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

regression (macos-13)

Already linked: /usr/local/Cellar/python@3.13/3.13.2