Verify safety of Vec iterator and specialization functions (Challenge 24) #2398
Triggered via pull request
February 11, 2026 01:16
jrey8343
Status
Success
Total duration
1h 30m 38s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 0m
Kani Autoharness Analyzer
44m 40s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
1 error and 12 warnings
|
Kani List
$GITHUB_STEP_SUMMARY upload aborted, supports content up to a size of 1024k, got 1373k. 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.3_1
|
|
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.3_1
|
|
Verify std library (partition 2)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
|
|
Verify std library (partition 1)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
|
|
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/python@3.14/3.14.3_1
|
|
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.3_1
|
|
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:e748bd2bf3a6362bc6c426bd4b123fa8360247d00edbcceb2a95e2ecee651936
|
|
|
macos-latest-kani-list.json
Expired
|
103 KB |
sha256:29d0a7f6cb8c7a1a583e23339cb03b5c4acc2b484d6b0d9c494c4f5760295050
|
|
|
macos-latest-results.json
Expired
|
399 KB |
sha256:1a3cdab2f2f33f70f3b07c56ec93ff228e6a891861399f33d6346d98493f5417
|
|
|
macos-latest-results.tar.gz
Expired
|
839 KB |
sha256:3423a5b7f6337dcd3689d95de1677125a7015c58b980a4e7b0bf07b40fa2749c
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
375 KB |
sha256:f3cd4f124b6cedf9632b51ba926b9f0eeec76e71dd0902c297692f4576e98c4b
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:09feb1675d8e7bab28fd3bbfcb1972c96d18003dd4b5021a703164e1d3f7e93e
|
|
|
ubuntu-latest-results.json
Expired
|
423 KB |
sha256:4d0cb613102119dd9396b982f91e976233f5a909b6775dfdd9848ac97ba7bcaa
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
901 KB |
sha256:355f581134a37dfd20b2a396461722b13f35b001e9c397a46568cfdd3b3c8b7c
|
|