Kani #2285
tautschnigkani.yml
on: merge_group
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 2m
Kani Autoharness Analyzer
44m 24s
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 1359k. 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.13/3.13.7
|
|
Verify std library (partition 3)
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.7
|
|
Verify std library (partition 2)
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.7
|
|
Verify std library (partition 1)
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.7
|
|
Verify std library (partition 4)
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.7
|
|
Kani Metrics (macos-latest)
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.7
|
|
Verify std library using autoharness (macos-latest)
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
355 KB |
sha256:ff790b2a2c9ebbea84c26392be1fb1830228a9f524ca9009c26e4f7f6ac42f11
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:6feca07a7fdb811bb5ce21d598c5c4162a7d178a00e593593a056f7e1232ca1b
|
|
|
macos-latest-results.json
Expired
|
394 KB |
sha256:9114a68762a1e780c643e131ad7c76cc10106b4cd405d5de59d56bb3a6161341
|
|
|
macos-latest-results.tar.gz
Expired
|
833 KB |
sha256:8b067c5e7737b558c2c605590f17e5c0a384e01e7073aa837aa272ac2f10df74
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:289f35419e343431ee5d02980182881d4aca3d3aa4f7e6ed1a227950996c9273
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:98753873c44d671d0c04f54b5450cc7848dd7b79a0daea3dec3aba8480dc6424
|
|
|
ubuntu-latest-results.json
Expired
|
419 KB |
sha256:e6da1cd1825a04b746136f892d3bff4b9f020d648c6687557a332f55b1216da1
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
897 KB |
sha256:a32f8822f30a5bb2ecf1b51deac91f88205f497c5ba449b4ba1a9eb4f98e07d6
|
|