Verify safety of Vec functions (Challenge 23) #2397
Triggered via pull request
February 11, 2026 01:15
jrey8343
Status
Success
Total duration
1h 42m 49s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
59m 28s
Kani Autoharness Analyzer
45m 6s
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 1374k. For more information see: https://docs.github.com/actions/using-workflows/workflow-commands-for-github-actions#adding-a-markdown-summary
|
|
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 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 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:
|
|
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:
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
360 KB |
sha256:f2f8e65426a5a66d01aee6892b076dbee8a15dfae02282de973e9b7dd200d06b
|
|
|
macos-latest-kani-list.json
Expired
|
103 KB |
sha256:5012cfe6ca1443d317b67a752c7cf4d620f7abcf24fcf80501dc8aef9ede4f74
|
|
|
macos-latest-results.json
Expired
|
400 KB |
sha256:52da77d21a7baa6aef80205a7f6f90e37799929ce7b8e9bf64ddd99d3b354f6a
|
|
|
macos-latest-results.tar.gz
Expired
|
838 KB |
sha256:f2313f4103afc0d16755bd31e608d254210b413b5842dbc6dd09b67296b2b8e5
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
376 KB |
sha256:025e620c6ebb559d1730de80549d10447f29d1acf0f4c522804a4d04c0d24e99
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:f87b86bb9de19a9266cbd5666558293fed6b4d5937053d23ed56315696807349
|
|
|
ubuntu-latest-results.json
Expired
|
424 KB |
sha256:7d2fe8cdae68f9304646c277ca25927f4bc7e722f046e83220c9175634d23253
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
901 KB |
sha256:ceaea1ca3069367c8b57f3e9d67dcd1462d85b5624f4488775eeeda894e06aa8
|
|