Update Kani Metrics #2284
Triggered via pull request
September 28, 2025 06:29
tautschnig
Status
Success
Total duration
1h 18m 44s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 18m
Kani Autoharness Analyzer
47m 55s
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/[email protected]/3.13.7
|
|
Verify std library (partition 3)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 2)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 1)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 4)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library using autoharness (macos-latest)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Kani Metrics (macos-latest)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
355 KB |
sha256:ca07c9f65c6aa077931d8314fa90cf96ee2743d21f0799e5c9d14e4aa46c52ee
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:060c183f8621108ff4728690c025410d377d98916dd74f472fd39118e43ead03
|
|
|
macos-latest-results.json
|
394 KB |
sha256:b633d226282760ffbf4fa81bc7d0c60aba12ae241ca682064c90adc07143a826
|
|
|
macos-latest-results.tar.gz
Expired
|
832 KB |
sha256:d87f8f09d533ccdb1300ade97d027f8535ddbd280ccf26da82a521d73ace39e9
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:d1500335d0af8e5b849ea72648a11c5f1fb6e8e05f6bc747407899b71b125287
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:1e649d553f53f2b5125fca6f2ceeadb0701d5174325f2232eba262d906184e07
|
|
|
ubuntu-latest-results.json
|
419 KB |
sha256:0aca90f1b033017b0350a634a6bd089f42a7ac8f2ccea7673f6c638d97cb7342
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
898 KB |
sha256:aa0b787f7e2e62e07ef0eae13918ac7b07d8e237748ceda22395abd7e1b5c87c
|
|