Verify safety of str iter functions (Challenge 22) #2399
Triggered via pull request
February 11, 2026 01:16
jrey8343
Status
Success
Total duration
1h 27m 16s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 0m
Kani Autoharness Analyzer
42m 49s
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 1367k. 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
|
357 KB |
sha256:35a76f662bd00d428b873a1239fadad2f608cca55016086a55006ec5c9d6b4a2
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:9bde0ed9a136b486dff818e96b79e4df5fcf835b48b2d4841f0d1f2a947282c6
|
|
|
macos-latest-results.json
Expired
|
398 KB |
sha256:f3d8bff94f25d57ebf24736056ed8d59986ee31c62c3b0464ea2980517c8dbce
|
|
|
macos-latest-results.tar.gz
Expired
|
838 KB |
sha256:c86af86d383b3af21cdba26faff6b8f94c5df02729e1e0b7fbf145f43094d775
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
375 KB |
sha256:7c88c7cf60ea3c80c3a5d87233133de8741ad5ab28ea45659a9bb6abfb7ea860
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:bf8ca5b1db93810ff5f9661ca7108801af0acd883bb95f8dfed1bd080db0c034
|
|
|
ubuntu-latest-results.json
Expired
|
422 KB |
sha256:78273ddd19bbe4013864a9e16d8edb7f293133330ec71ef9bac48ea34bcf1196
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
901 KB |
sha256:187c33708cdf3941f28060fe85acca7b03a53dea83e769c98993bc603ba7352e
|
|