iter: add kani proof for next_unchecked (#280)
#2317
Triggered via pull request
October 10, 2025 16:09
ghost
Status
Success
Total duration
1h 32m 24s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 4m
Kani Autoharness Analyzer
46m 50s
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/python@3.14/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/python@3.14/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 4)
Already linked: /opt/homebrew/Cellar/python@3.14/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 (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.14/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 using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/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/python@3.14/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
|
358 KB |
sha256:7af5bacd0e27f084976f4515fe65f0c6bd915ea41eb32537a006099f4e813266
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:cdeea0c31e3fffc99956739cfe8695e5683c0f9774f429f257c1d4f5f732d83e
|
|
|
macos-latest-results.json
Expired
|
397 KB |
sha256:0a18439376a069ebf0d1cf1eb15962eeb553ec30078c43ca7f4d8034e3328b75
|
|
|
macos-latest-results.tar.gz
Expired
|
839 KB |
sha256:70a1038371b92df7a39d7ca1ac316e4560cd67d6d394c1e35bb9cbd1cfbe11df
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
375 KB |
sha256:1b7aa9eea293ca73e9ebce009e2154c62faa4bc0d482b5724a95479bc0b46f05
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:86e941598880464cc8b3a213091ddf100144ccecf5d6af12f7c1780731a74771
|
|
|
ubuntu-latest-results.json
Expired
|
421 KB |
sha256:f39b59b0c938ad22ca7548c8f5916d8341575bf305cf2a99af991b313465628d
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
901 KB |
sha256:bb69e25865f0f622c238cb72d70265a48fc223e0beecbc6b34ff47de84c06f8f
|
|