Update Kani Metrics #2362
Triggered via pull request
January 18, 2026 20:31
tautschnig
Status
Success
Total duration
1h 36m 32s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
59m 44s
Kani Autoharness Analyzer
44m 18s
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 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 2)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library (partition 2)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library (partition 3)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library (partition 4)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library (partition 1)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library using autoharness (macos-latest)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Kani Metrics (macos-latest)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
355 KB |
sha256:2c3b88d2c3e29aba5cde4f46aa111ff06272186246f5e049b137b67ef195b76d
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:bda63179cb10a68eb78e6cfb048fd0d75def5988d6f9ee48adba39754e72dff3
|
|
|
macos-latest-results.json
|
397 KB |
sha256:72c72de187e404d476312923aad14df3a0f173f0e442ac20fb71a709a332b8a7
|
|
|
macos-latest-results.tar.gz
Expired
|
840 KB |
sha256:69ad4849dd535ad1058467afc5dee7a02520c1b913e7799a752271d412c022fd
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:4b1d2280e6ee5c0142413d48dd413e25784cec71d62f9b952fcc7dccb87c9fb7
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:c1a77752fcc068285c2ea5e1b03b8862d544f1b483252b43fb7f4c5ca0a53e17
|
|
|
ubuntu-latest-results.json
|
421 KB |
sha256:f916ea3245ae9b245e21a7e7315010fd05b78e74acf308bc22ea9255047077bf
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
902 KB |
sha256:88d1ddb1e7f2f4f340a42a41f07e17229d26a0cf8b56bc83626b80697c8ad0a9
|
|