Back to pull request #344

Add autoharness-analyzer CI job #1686

Sign in to view logs

Triggered via pull request April 28, 2025 11:44

tautschnig

synchronize #344

tautschnig:autoharness-analyzer

Status Success

Total duration 2h 14m 59s

Artifacts –

kani.yml

on: pull_request

Kani Autoharness Analyzer

Matrix: check-kani-on-std

Annotations

8 warnings

Verify std library (partition 1)

Already linked: /opt/homebrew/Cellar/[email protected]/3.13.3

Verify std library (partition 1)

[email protected] 3.13.3 is already installed and up-to-date. To reinstall 3.13.3, run: brew reinstall [email protected]

Verify std library (partition 2)

Already linked: /opt/homebrew/Cellar/[email protected]/3.13.3

Verify std library (partition 2)

[email protected] 3.13.3 is already installed and up-to-date. To reinstall 3.13.3, run: brew reinstall [email protected]

Verify std library (partition 3)

Already linked: /opt/homebrew/Cellar/[email protected]/3.13.3

Verify std library (partition 3)

[email protected] 3.13.3 is already installed and up-to-date. To reinstall 3.13.3, run: brew reinstall [email protected]

Verify std library (partition 4)

Already linked: /opt/homebrew/Cellar/[email protected]/3.13.3

Verify std library (partition 4)

[email protected] 3.13.3 is already installed and up-to-date. To reinstall 3.13.3, run: brew reinstall [email protected]