Merge subtree update for toolchain nightly-2025-10-09 (#504) #2356
github-merge-queue[bot]kani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
57m 30s
Kani Autoharness Analyzer
43m 53s
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.2
|
|
Verify std library (partition 3)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library (partition 2)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library (partition 1)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library (partition 4)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library using autoharness (macos-latest)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Kani Metrics (macos-latest)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
356 KB |
sha256:413d3e3054ee1f7f92ac1bab8764349ebb2e0b6a36534cde1dd52d335cdb65e1
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:1153266deeef31929d4c48fdad36e39bfda82cb4e43acb9043c14f9aa8d3817d
|
|
|
macos-latest-results.json
|
397 KB |
sha256:cb1bd4dcc9ac5fb9a1120d021862bf9a68634eba71435a384e29423bb34f77d8
|
|
|
macos-latest-results.tar.gz
Expired
|
838 KB |
sha256:9bc566731f53b93e6e0a3404df029a1207deb93e0467b031d067da8c983038ef
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
375 KB |
sha256:f23ab9568b564fba737543d897a17bae714ad028fbb28b7e93e9e962e87c92e8
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:232584c79cd7bdb66dc49e4496699a94e370d180f95e54064e9393119e0d5797
|
|
|
ubuntu-latest-results.json
|
421 KB |
sha256:c1ce2a1ca87875c7d266b17c66efc9f60041b411fe6ea7d045fc34d515a19cb7
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
901 KB |
sha256:812d604d85e3e1a0e5394cbecbc1e027376be34985a5a679082813fc5f7f53db
|
|