Kani #2279
tautschnigkani.yml
on: merge_group
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
58m 48s
Kani Autoharness Analyzer
47m 7s
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 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
|
|
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
|
|
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
|
|
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
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
354 KB |
sha256:18422ffb4bdea24649897d80a9877c537f72821b45f5bf4873eb3e3bffcd900e
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:49a027152d04a2dd90224445938aba6e94696f99babab17b2ce622ef41c2478e
|
|
|
macos-latest-results.json
Expired
|
394 KB |
sha256:85489ab9070fa437436dab7ecf7bb470825c1b08e0ad1f165effa318728272ac
|
|
|
macos-latest-results.tar.gz
Expired
|
832 KB |
sha256:6ee5536a361226b77fd7a902db16fe7b3bf6daf7b0bcc2a6ada7edcfba5e7254
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:19ede5299799fb3fcdf278d2f7a83f8aee68d9603f6808899fe8cfabc45c393b
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:8815f89e95a4ae60663f8222811ff2fa01342d5e03874322c80ce45deca57fc1
|
|
|
ubuntu-latest-results.json
Expired
|
419 KB |
sha256:1861f4c4b2eb20f6778350e1faa25249aeb14b6f7a771d8ffcb7c2f6ff2cc481
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
897 KB |
sha256:4d82c1f143afe8ef439842e3fffc07315518f2917b70041c667359dca3f9ee0d
|
|