Verify memory safety of String functions (Challenge 10) #2395
Triggered via pull request
February 11, 2026 01:14
jrey8343
Status
Success
Total duration
1h 33m 27s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 2m
Kani Autoharness Analyzer
44m 31s
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
|
358 KB |
sha256:a895fab97810419788facee3a869e19bf58bae2dfa0d32ade7a21ef6c3b67a7b
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:f587b787a94996033f77102f582837a4a52c5cda4acb0d5192c9736adf278126
|
|
|
macos-latest-results.json
Expired
|
397 KB |
sha256:d34e0e9656d4fb7725b4508695754db82ef0f4335c36edf1fc1bf4f47fa280b1
|
|
|
macos-latest-results.tar.gz
Expired
|
838 KB |
sha256:3f4baf6dbbb4e98fad188de7a564dc7a71a7c7d3e77da8a6af332a763e41f9d4
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:1ef732ce861f2c9a3fe2fae2c9f7f9a09a719ab9e427a1409a4d14943afddb02
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:11bdfde5aa5f8c38e8edf3152447469cbf5d44c5b9c7d8fc2c0ebaa9d474a297
|
|
|
ubuntu-latest-results.json
Expired
|
421 KB |
sha256:2deda3f6c525532d048ab019ccce3d3471af4071c695e567f4489fddf6cff700
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
901 KB |
sha256:7f08e5b7a14b8ffe32537d3efaa0ad936f0992dbc4b0ce8c58d2da259355ca41
|
|