Skip to content
Kani

Parse log file of multi-threaded Kani run (terse output) into JSON #1780

Sign in to view logs

Parse log file of multi-threaded Kani run (terse output) into JSON

Parse log file of multi-threaded Kani run (terse output) into JSON #1780

Triggered via pull request May 20, 2025 15:12
@tautschnigtautschnig
synchronize #324
tautschnig:metrics-tooling2
Status Success
Total duration 1h 0m 26s
Artifacts 8

kani.yml

on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
46m 44s
Kani List
Kani Autoharness Analyzer
29m 2s
Kani Autoharness Analyzer
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
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 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 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 using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Verify std library using autoharness (macos-latest)
python@3.13 3.13.3 is already installed and up-to-date. To reinstall 3.13.3, run: brew reinstall python@3.13
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Kani Metrics (macos-latest)
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

Artifacts

Produced during runtime
Name Size Digest
macos-latest-autoharness-verification.log.gz Expired
348 KB
sha256:ade9de40683e6597a4bafa61b9566e7290a859f05e1d9bc065f1f245e5dfb49c
macos-latest-kani-list.json Expired
53.3 KB
sha256:3ec8137af95934c6681e61dd181993eebff6eda410326751aa9d6668ee9d73b6
macos-latest-results.json Expired
348 KB
sha256:c1142393ba53098a95a3ce3015c931cebb5b22f2f60ead5d72a8bfb961045be2
macos-latest-results.tar.gz Expired
828 KB
sha256:85be178c37c1a376b59148da8b16fafa7d751695b10fa8130c844b288a32e0c3
ubuntu-latest-autoharness-verification.log.gz Expired
369 KB
sha256:66e88d85ae3e831743383b3f64f4d69c00e194deb635e376e93e83fb5be59ece
ubuntu-latest-kani-list.json Expired
53.9 KB
sha256:6132607e6fd079462f9fcba981e2aec1d8548b94089e710d43fa615311edc124
ubuntu-latest-results.json Expired
362 KB
sha256:f69233552d5383753d145244e220c638cc1c125d5a123ce8e9e398237b58b506
ubuntu-latest-results.tar.gz Expired
891 KB
sha256:c10e3603a40c0cac7de97dece11dd9125be0c1f9f5438d7a137847b39f4600ae