Update Kani Metrics #2286
Triggered via pull request
October 5, 2025 08:50
tautschnig
Status
Success
Total duration
1h 25m 50s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 2m
Kani Autoharness Analyzer
49m 30s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
1 error and 12 warnings
|
Kani List
$GITHUB_STEP_SUMMARY upload aborted, supports content up to a size of 1024k, got 1359k. 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.13/3.13.7
|
|
Verify std library (partition 3)
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.7
|
|
Verify std library (partition 2)
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.7
|
|
Verify std library (partition 4)
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.7
|
|
Verify std library (partition 1)
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.7
|
|
Verify std library using autoharness (macos-latest)
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.7
|
|
Kani Metrics (macos-latest)
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
355 KB |
sha256:29066943062eaf35c64def7e9aa3bbf63ecff0d469261329a01829a696dc03ab
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:78c54b6b35656a272da2b49dd1d6be296fb73a7373910aea725f3edc426a1de1
|
|
|
macos-latest-results.json
Expired
|
394 KB |
sha256:d818acb18905142f09bb79467a3856c85588f77f0c1b57f72ded0b6aadcd2942
|
|
|
macos-latest-results.tar.gz
Expired
|
833 KB |
sha256:21aaf4da0f4e9db32285592496dd20a688874d0239dee80b32babd19071f57b0
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:7cb251c9b44fe060704b25cafafc2e6e6b24b883b5d64205d68b1c16c411d581
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:a627ee3e201511181bda557799bdb00c1a62444fb288dbd907fe5ceab17c5bc6
|
|
|
ubuntu-latest-results.json
Expired
|
419 KB |
sha256:2bd72d3f18ff88178c635a29c1b64250e2ba44b49927d2fab3d7aa018dbda51e
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
898 KB |
sha256:3159257e0ef7597cf27c817bab155079e627bf12a4922b1f542ea27665c058ff
|
|