Skip to content
Kani

Kani #1656

Sign in to view logs

Kani

Kani #1656

Triggered via merge group April 24, 2025 08:03
@tautschnigtautschnig
⁠ 75bf5ce
Status Success
Total duration 1h 43m 17s
Artifacts –

kani.yml

on: merge_group
Kani List
23m 54s
Kani List
Matrix: check-kani-on-std
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Verify std library (partition 1)
python@3.13 3.13.3 is already installed and up-to-date. To reinstall 3.13.3, run: brew reinstall python@3.13
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Verify std library (partition 2)
python@3.13 3.13.3 is already installed and up-to-date. To reinstall 3.13.3, run: brew reinstall python@3.13
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Verify std library (partition 3)
python@3.13 3.13.3 is already installed and up-to-date. To reinstall 3.13.3, run: brew reinstall python@3.13
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Verify std library (partition 4)
python@3.13 3.13.3 is already installed and up-to-date. To reinstall 3.13.3, run: brew reinstall python@3.13