Skip to content

Update Kani Metrics #2404

Update Kani Metrics

Update Kani Metrics #2404

Triggered via pull request February 16, 2026 10:49
Status Success
Total duration 1h 47m 7s
Artifacts 8

kani.yml

on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Fit to window
Zoom out
Zoom in

Annotations

1 error and 12 warnings
Kani List
$GITHUB_STEP_SUMMARY upload aborted, supports content up to a size of 1024k, got 1366k. For more information see: https://docs.github.com/actions/using-workflows/workflow-commands-for-github-actions#adding-a-markdown-summary
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
Verify std library (partition 3)
python@3.14 3.14.3_1 is already installed and up-to-date. To reinstall 3.14.3_1, run: brew reinstall python@3.14
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
Verify std library (partition 1)
python@3.14 3.14.3_1 is already installed and up-to-date. To reinstall 3.14.3_1, run: brew reinstall python@3.14
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
Verify std library (partition 2)
python@3.14 3.14.3_1 is already installed and up-to-date. To reinstall 3.14.3_1, run: brew reinstall python@3.14
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
Verify std library (partition 4)
python@3.14 3.14.3_1 is already installed and up-to-date. To reinstall 3.14.3_1, run: brew reinstall python@3.14
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
Verify std library using autoharness (macos-latest)
python@3.14 3.14.3_1 is already installed and up-to-date. To reinstall 3.14.3_1, run: brew reinstall python@3.14
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
Kani Metrics (macos-latest)
python@3.14 3.14.3_1 is already installed and up-to-date. To reinstall 3.14.3_1, run: brew reinstall python@3.14

Artifacts

Produced during runtime
Name Size Digest
macos-latest-autoharness-verification.log.gz Expired
355 KB
sha256:4fa13f0742f4b4ca01792904bc3a18eae9636b2c06ebb26f3672f55c46a43692
macos-latest-kani-list.json Expired
102 KB
sha256:971c8859c617dd9f73e3f54b1c2924060d38b770706dedb42588a023cd2529d8
macos-latest-results.json Expired
397 KB
sha256:90ace9e61ebf855a7381351d00ea12fd65e8be2471028ec864a4545b1ffb0ec3
macos-latest-results.tar.gz Expired
839 KB
sha256:3b958c90c6da17c8287932f017d07e6a17dfdeda992bb23b1fe0ee5845bb2f87
ubuntu-latest-autoharness-verification.log.gz Expired
375 KB
sha256:33eaa341a3291e5d994192dd67e181aa310fa3958843e855398f9ef1120a6774
ubuntu-latest-kani-list.json Expired
110 KB
sha256:7128e897bddf08d49de84b15a32a97eeb3b2ad797981be698ee9fef978a959b9
ubuntu-latest-results.json Expired
421 KB
sha256:ec69a9146522dc4b0f5e503ff4d52ac7f7e5afa0c15d23d4d3d0ece472e1b8d0
ubuntu-latest-results.tar.gz Expired
902 KB
sha256:868e8bd84678353def447ef0850926fa475651b12833ffd62a18023d9425ca0b