Skip to content
Kani

Add autoharness-analyzer CI job #1683

Sign in to view logs

Add autoharness-analyzer CI job

Add autoharness-analyzer CI job #1683

Triggered via pull request April 28, 2025 09:45
@tautschnigtautschnig
synchronize #344
tautschnig:autoharness-analyzer
Status Failure
Total duration 1h 42m 37s
Artifacts –

kani.yml

on: pull_request
Kani List
25m 14s
Kani List
Kani Autoharness Analyzer
27m 17s
Kani Autoharness Analyzer
Matrix: check-kani-on-std
Fit to window
Zoom out
Zoom in

Annotations

1 error and 8 warnings
Kani Autoharness Analyzer
Process completed with exit code 101.
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