Update Kani Metrics #2354
Triggered via pull request
January 16, 2026 19:18
tautschnig
Status
Failure
Total duration
1h 57m 42s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
58m 1s
Kani Autoharness Analyzer
41m 59s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
2 errors and 10 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)
The hosted runner lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
|
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 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 (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 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:a39fc99f11561d642d1041fd459b129c2a051b29eb8c06f6270ab3d02269809b
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:933f3b2946b399a0106b9419eff0185d3c362a1dbd26a407775c941aa55791b2
|
|
|
macos-latest-results.json
|
397 KB |
sha256:8a7948e85da1287e3580344349f1d02d3221c939fab2ff5fecabc97deff66a45
|
|
|
macos-latest-results.tar.gz
Expired
|
837 KB |
sha256:95d738f135204cf6259a204adaa35eb70207f153fddb38aaad8475d3be3858d0
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
375 KB |
sha256:3bf134f4d979544de1a18955fdcd1104f81fba11df6bcd1afa41417bfa9648e6
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:9bc4080f4a388c50c291692020ebd9ce18d643b8a6e0ed439ab3e931a5058745
|
|
|
ubuntu-latest-results.json
|
421 KB |
sha256:2acc533e0c39139d863f342fa5a6a5c4d657b6f68fa54ce2e726b7c9098a70a4
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
901 KB |
sha256:5298c7b82a601bebb54e1591f6fe879d3fffd7fa74f6bd3ceb2f13a8e7f3e721
|
|