Kani

Run more automatic harnesses (use patterns w/ regex support) #1960

Sign in to view logs

Triggered via pull request July 10, 2025 16:16

tautschnig

synchronize #397

carolynzech:autoharness-regex

Status Success

Total duration 1h 18m 7s

Artifacts 8

kani.yml

on: pull_request

Matrix: Verify std library using autoharness

Matrix: Kani Metrics

Kani Autoharness Analyzer

Matrix: check-kani-on-std

Matrix: Build JSON from logs

Annotations

12 warnings

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 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]

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 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]

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]

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]

Artifacts

Produced during runtime

Name	Size	Digest
macos-latest-autoharness-verification.log.gz Expired	348 KB	`sha256:62561a6b8bc5dcedc64a9c70241034cd33ca1dd14bbaf3b26acbaf1c5e82a0e1`
macos-latest-kani-list.json Expired	62.1 KB	`sha256:7257849b2646af10df27ed606c0959ba8321308ecafbdd7b17196abea7569bc7`
macos-latest-results.json Expired	351 KB	`sha256:2d3e27bb0fab411aa0eb8495d96ece913cd894e39ff96adb330a9ce78be74aeb`
macos-latest-results.tar.gz Expired	833 KB	`sha256:a022f248677d6c4944bbc317015177e2b2231d5bd2ebe7332c52f28bd5881b76`
ubuntu-latest-autoharness-verification.log.gz Expired	370 KB	`sha256:d03d973a8907e5a3847015c68805ac885a6c9b1629e97e7118a7933e6f413bf7`
ubuntu-latest-kani-list.json Expired	69.3 KB	`sha256:e8097635e81ce496a780b23106699848465cb8738dc9001193856c9d9e14cccf`
ubuntu-latest-results.json Expired	376 KB	`sha256:c04dc9dbd1f3e9a62ec134c79f611d786a3458e76da47845c32686a8198631af`
ubuntu-latest-results.tar.gz Expired	896 KB	`sha256:c3b19448a7c036c4099e50c127a0ad08e4be9be3348d47d3087b6680afe341cd`