Update Kani Metrics #2371
Triggered via pull request
January 26, 2026 11:53
tautschnig
Status
Success
Total duration
1h 35m 48s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 1m
Kani Autoharness Analyzer
43m 25s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
1 error and 6 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.2_1
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2_1
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2_1
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2_1
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2_1
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2_1
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
356 KB |
sha256:875a1b20ec1e2f44c1a12c33bceecbd979acde769c4e8a3b70234685c131c650
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:123a229dbf19d4895665a2ff48818b5e90a3c558da648a392f5dbd88fac93ab7
|
|
|
macos-latest-results.json
Expired
|
397 KB |
sha256:6e2e78d7f6cfbb863e15f3b8f51f23eb018cba9a4f63b01f40e29af2611ec3f6
|
|
|
macos-latest-results.tar.gz
Expired
|
838 KB |
sha256:2d90c9a23d451fa43b009304b098931b3c9d33fbb8ec5a45e551e9d258af66c9
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
374 KB |
sha256:bae82219415d5af3e52d5602dc19965c0771b4daefd79db105e2dda30486d956
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:8c32afb100d0107196b89fbb285b6940f8af399695c88b3a8ec3e194ef5c9033
|
|
|
ubuntu-latest-results.json
Expired
|
422 KB |
sha256:c4121d04863742539ac39c3dd99a10271ae4e327e7fa5af978dd432523576c1a
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
903 KB |
sha256:f0590b4159ac7662ef351ea435a7e953f195c12b2b3000d61a13a15f3a1ab5c2
|
|