Update Kani Metrics #2346
Triggered via pull request
December 21, 2025 02:53
feliperodri
Status
Failure
Total duration
1h 19m 38s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
55m 42s
Kani Autoharness Analyzer
29m 4s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
2 errors and 12 warnings
|
Kani Autoharness Analyzer
Process completed with exit code 1.
|
|
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/[email protected]/3.14.2
|
|
Verify std library (partition 3)
[email protected] 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall [email protected]
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.2
|
|
Verify std library (partition 2)
[email protected] 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall [email protected]
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.2
|
|
Verify std library (partition 1)
[email protected] 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall [email protected]
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.2
|
|
Verify std library (partition 4)
[email protected] 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall [email protected]
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.2
|
|
Verify std library using autoharness (macos-latest)
[email protected] 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall [email protected]
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.2
|
|
Kani Metrics (macos-latest)
[email protected] 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall [email protected]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
355 KB |
sha256:50e59a76f688d6699cf28e31bded6dca379bb2d1eafedfa14d54e8e6b381f9f0
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:f7b12f64884aaad5a9f963c53d0a65f04483ba2b4cc4d54a6033759b2c4290f5
|
|
|
macos-latest-results.json
|
397 KB |
sha256:80e712ac5f8029375b82f73d65a52c621e456e0bfef241a0334148beb8c81878
|
|
|
macos-latest-results.tar.gz
Expired
|
838 KB |
sha256:154e5ac0018d17679821ef28c02803625983b05b6329a18882b58f07e7915279
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
374 KB |
sha256:382f5faa977d63c1a5ac9da1544e88dd88daafc801a82e5ccffc097a499352c9
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:12dae6e87e8b6612c309d8805b2ddb19328ab8b8c9af239e4c9d5c7f72ade3c4
|
|
|
ubuntu-latest-results.json
|
421 KB |
sha256:6fcb680a0ec92a7d00275929e3c05740230f42a036e2aca46c7b471d91fa3b4c
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
901 KB |
sha256:495bf98f6a0c89b880fd9d1b744df56b213a72fc58a6fe9d932f8a0b666a0c22
|
|