Kani

Kani #1601

Sign in to view logs

Triggered via merge group April 14, 2025 14:03

carolynzech

Status Success

Total duration 1h 50m 6s

Artifacts –

kani.yml

on: merge_group

Matrix: check-kani-on-std

Annotations

8 warnings

Verify std library (partition 1)

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

Verify std library (partition 1)

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

Verify std library (partition 2)

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

Verify std library (partition 2)

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

Verify std library (partition 3)

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

Verify std library (partition 3)

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

Verify std library (partition 4)

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

Verify std library (partition 4)

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