New challenge: safety of boxed #2351
Triggered via pull request
January 12, 2026 16:05
AlexLB99
Status
Failure
Total duration
1h 35m 16s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 0m
Kani Autoharness Analyzer
1h 12m
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
2 errors 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
|
|
Kani Autoharness Analyzer
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 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 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
|
354 KB |
sha256:e2d312bd4d2f8278bcb9881795e353eecff4f78861c71db62d8a61432c37e516
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:49354d746801f2fcb580b91e51e2ed72e0712552a5434801d404b8a54045b667
|
|
|
macos-latest-results.json
Expired
|
397 KB |
sha256:5385194c7da2ed8b232de271ea1d221b6a6a8d6e3721e40ad2407a43bd3056de
|
|
|
macos-latest-results.tar.gz
Expired
|
838 KB |
sha256:54c328163b29ffe259bb34c2260f9209863d1dc74624d333e5128de10f088c9a
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
374 KB |
sha256:dbaf66785064fe1c52d98da1b2d7d930d76b75ae3936440daa0da0700d345542
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:a93b2a31b34263de0df038a74454e0a2ffeca93f46cffe1a4c12438834b135b8
|
|
|
ubuntu-latest-results.json
Expired
|
421 KB |
sha256:394a29716b36e5ba91bc530966eee722bd280c7d5bc40ccfc7632c1e8a1f8446
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
902 KB |
sha256:fef1b697882aca31407c4dce486752230866201c3a858860d180d0e43172217f
|
|