Merge subtree update for toolchain nightly-2025-08-26 (#480) #2251
github-merge-queue[bot]kani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 8m
Kani Autoharness Analyzer
43m 59s
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 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]
|
|
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]
|
|
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
|
354 KB |
sha256:53bd8d02eb3e9af4731c2b5ba52280603040a4560e835dc4e32eb159c1b9fed7
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:0e7edfbe4098980e81836f632fb0942b0c3d884fa6b5dc3b7ecf0840c78f05b8
|
|
|
macos-latest-results.json
|
394 KB |
sha256:99a8a47a12cbdbe0ad2e415144e90959449edb1fc8902f047c5b253f567ccc33
|
|
|
macos-latest-results.tar.gz
Expired
|
833 KB |
sha256:4c39ba467b2b4ea56908d10608ca439f346aa71f6717430bb178fdf28209f976
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:b669852e5492d6684526abb65b7a53495f676ec7fde00f9127629b414111522a
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:3b95cc62d2fd6738451c15291814eee6662f1ec54ca8632da468202db8cb4d73
|
|
|
ubuntu-latest-results.json
|
419 KB |
sha256:d31ba95627c6fd41bf1a56edbc4407941cabca01ad93c49707b78f4b9da5c4ee
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
896 KB |
sha256:1f13605f3b907d98001a0e796f07e8ffdb6d2957100cc53bffa52e824ee7a03a
|
|