iter: add kani proof for next_unchecked (#280)
#2321
Triggered via pull request
October 13, 2025 08:48
0xllx0
Status
Success
Total duration
1h 44m 10s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 0m
Kani Autoharness Analyzer
42m 27s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
1 error and 18 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 3)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library (partition 3)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 3)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library (partition 2)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 2)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library (partition 1)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 1)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library (partition 4)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 4)
These files were overwritten during the `brew link` step:
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library using autoharness (macos-latest)
These files were overwritten during the `brew link` step:
|
|
Verify std library using autoharness (macos-latest)
These files were overwritten during the `brew link` step:
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Kani Metrics (macos-latest)
These files were overwritten during the `brew link` step:
|
|
Kani Metrics (macos-latest)
These files were overwritten during the `brew link` step:
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
357 KB |
sha256:396440f99f5453497d75f4c93a3cf2679f09744f3c07112b3833c16265a5fd7f
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:b4d5d8b2cd06c5b1a368e873304da69a32b90a3532fb3f14d49b56bf1a37b379
|
|
|
macos-latest-results.json
|
397 KB |
sha256:07499d2b52f39bf5ee83b5d4b2c24050580ba1f38fb16cce21e3e3d0ff5c47f5
|
|
|
macos-latest-results.tar.gz
Expired
|
838 KB |
sha256:de20577644228c0706d376778bb324b18b7c86b362b9f04561d5233bf80d27ef
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:690636f1ac3d87187a7f48ca9a7632c6754922b817c4c6f4a178e262e21d39c3
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:14e0046ff97e06f414367c2040d798019a762357e72b18ef05f6abde380a5542
|
|
|
ubuntu-latest-results.json
|
421 KB |
sha256:f82f404a453a5904664789dc144124e8f88cdf3023a3903c84f71961e5d9d0d3
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
902 KB |
sha256:679f8abd0f2781b6991edadee2552ffedf2b1c18b644c6885d88c96803f8b65c
|
|