Verify safety of slice functions (Challenge 17) #2394
jrey8343kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 1m
Kani Autoharness Analyzer
43m 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 1370k. 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:
|
|
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:
|
|
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:
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
357 KB |
sha256:c3470e23e85c34cda494744deb03c2ccbbf37ba5a04c7f9e6337dd0fa2a27c60
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:a3005a2b9cd8241427b8b8b3b776ef63d05b32609f21b934da543e3f3fc89f61
|
|
|
macos-latest-results.json
Expired
|
398 KB |
sha256:e20399257af86d9468c8ba1724d775b9aef4810fc5b315da0fd5b7c4a36e476d
|
|
|
macos-latest-results.tar.gz
Expired
|
838 KB |
sha256:e428d8aaf69b0b731bf18de26e0395d2dd857d0bed9184cd90e7be037d2a84b4
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
376 KB |
sha256:2bdc1e053d5f99efdf2d0523c8f9d1ee5d620b8d0539c9b603524af5b1afa787
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:c127691caa99fb2d7ba164c59feb7052ea354e46826bcd2361572002a8fe4979
|
|
|
ubuntu-latest-results.json
Expired
|
422 KB |
sha256:d1107e3b82d9b20c2dbd9c202bc22955f646281320594dcc396946cd8727c7fb
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
902 KB |
sha256:906ed0447779cd9f625cc6ec8f18d7b26d8e85f748c369af68adcb32fbdbc7d9
|
|