Update Kani Metrics #2404
tautschnigkani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
57m 23s
Kani Autoharness Analyzer
41m 21s
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 1366k. 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)
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
|
|
Verify std library (partition 1)
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
|
|
Verify std library (partition 2)
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
|
|
Verify std library (partition 4)
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
|
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)
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
|
|
Kani Metrics (macos-latest)
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
355 KB |
sha256:4fa13f0742f4b4ca01792904bc3a18eae9636b2c06ebb26f3672f55c46a43692
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:971c8859c617dd9f73e3f54b1c2924060d38b770706dedb42588a023cd2529d8
|
|
|
macos-latest-results.json
Expired
|
397 KB |
sha256:90ace9e61ebf855a7381351d00ea12fd65e8be2471028ec864a4545b1ffb0ec3
|
|
|
macos-latest-results.tar.gz
Expired
|
839 KB |
sha256:3b958c90c6da17c8287932f017d07e6a17dfdeda992bb23b1fe0ee5845bb2f87
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
375 KB |
sha256:33eaa341a3291e5d994192dd67e181aa310fa3958843e855398f9ef1120a6774
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:7128e897bddf08d49de84b15a32a97eeb3b2ad797981be698ee9fef978a959b9
|
|
|
ubuntu-latest-results.json
Expired
|
421 KB |
sha256:ec69a9146522dc4b0f5e503ff4d52ac7f7e5afa0c15d23d4d3d0ece472e1b8d0
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
902 KB |
sha256:868e8bd84678353def447ef0850926fa475651b12833ffd62a18023d9425ca0b
|
|