README.md: Fix broken links #2274
Triggered via pull request
September 24, 2025 06:22
btj
Status
Success
Total duration
1h 14m 57s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 3m
Kani Autoharness Analyzer
43m 41s
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 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 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 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
|
|
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
|
|
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:151a387f0fede022fae00697298d3fbb881d1c4a46d1ba817742ae28bdb4a8cf
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:72aee1033f2cd73f34e3970e4fbeed9c0635d5872eb047e4175e7e2354661d3a
|
|
|
macos-latest-results.json
Expired
|
394 KB |
sha256:6b082da2f9812bfdff0eda5c3bd7dfb5a4806d6138be8210430c9a0ec37602d3
|
|
|
macos-latest-results.tar.gz
Expired
|
833 KB |
sha256:36942f106a259556611a2dba4852b232adc226d5080b1c2d67c49ca2a55b7c8a
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:cf25124a158327a06a2f0b1c0ef0b7a195bc18117678323e79605e726b74b71b
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:d7b6ff59f1c01aebe3fb30e7270d278bccc730a1f7c542731ee020543c640d39
|
|
|
ubuntu-latest-results.json
Expired
|
419 KB |
sha256:31f0cc32cb835e071bc64d12d2323feee1162e18a5c7c22a498374c72eb48978
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
897 KB |
sha256:2b4ac9f223d2ad3d39216c2a28efd7ebf6dc4152d1d01af981ed41e9429c6dda
|
|