Verify safety of StrSearcher (Challenge 21) #2381
jrey8343kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
55m 20s
Kani Autoharness Analyzer
44m 16s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
6 errors and 12 warnings
|
Kani List
$GITHUB_STEP_SUMMARY upload aborted, supports content up to a size of 1024k, got 1369k. For more information see: https://docs.github.com/actions/using-workflows/workflow-commands-for-github-actions#adding-a-markdown-summary
|
|
Verify std library using autoharness (ubuntu-latest)
Process completed with exit code 1.
|
|
Verify std library using autoharness (macos-latest)
Process completed with exit code 1.
|
|
Verify std library (partition 2)
The job has exceeded the maximum execution time of 6h0m0s
|
|
Verify std library (partition 2)
The operation was canceled.
|
|
Verify std library (partition 2)
The job has exceeded the maximum execution time of 6h0m0s
|
|
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3
|
|
Verify std library (partition 3)
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
|
|
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
|
|
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
|
|
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
|
|
Verify std library using autoharness (macos-latest)
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
|
|
Verify std library (partition 2)
These files were overwritten during the `brew link` step:
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:c678c3df25ab8dfc1466294dfa812783568ee792ab895ed142972dd10452a606
|
|
|
macos-latest-results.tar.gz
Expired
|
839 KB |
sha256:84f18badbf8162f008e25038b5d82b6b62a94fda4f790db184e96764edb74ac6
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:a1de9ed03ede5c95235d0261e5267a09edb50b448edf9a0a8006be79dc4e4a20
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
902 KB |
sha256:1a818410a074d62448bd29a750580a22d10a3e2ad98868d11100b40272d8317a
|
|