Kani

Merge branch 'main' into iter-range-rs-contracts #176

Sign in to view logs

Triggered via push July 10, 2025 18:33

tautschnig

iter-range-rs-contracts

Status Failure

Total duration 1h 30m 58s

Artifacts 4

kani.yml

on: push

Matrix: Verify std library using autoharness

Matrix: Kani Metrics

Kani Autoharness Analyzer

Matrix: check-kani-on-std

Matrix: Build JSON from logs

Annotations

2 errors and 12 warnings

Verify std library using autoharness (ubuntu-latest)

Process completed with exit code 2.

Verify std library using autoharness (macos-latest)

Process completed with exit code 2.

Verify std library using autoharness (macos-latest)

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

Verify std library using autoharness (macos-latest)

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

Verify std library (partition 3)

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

Verify std library (partition 3)

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

Verify std library (partition 4)

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

Verify std library (partition 4)

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

Kani Metrics (macos-latest)

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

Kani Metrics (macos-latest)

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

Verify std library (partition 1)

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

Verify std library (partition 1)

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

Verify std library (partition 2)

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

Verify std library (partition 2)

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

Artifacts

Produced during runtime

Name	Size	Digest
macos-latest-kani-list.json Expired	62.3 KB	`sha256:82cacd1ec1d213c2e96064b6b7624945196e6a17fbecdcacbd8e339123adadde`
macos-latest-results.tar.gz Expired	831 KB	`sha256:3cc8f93c5ab0cdb8fa699c8902b3e0f78dec31ea5a1ca95c2f40e132b4954e43`
ubuntu-latest-kani-list.json Expired	69.5 KB	`sha256:ebb392c9eb8159254c39ef87cb96d04c76f0bc9a7358cacf9d9cbbb19f1c4799`
ubuntu-latest-results.tar.gz Expired	897 KB	`sha256:9cce409c3b91248c256822607f7fe3b50294e27f245baddbfe86c7ecabf54a53`