README.md: Sync rewards #2436
feliperodrikani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
59m 0s
Kani Autoharness Analyzer
42m 2s
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.3_1
|
|
Verify std library (partition 3)
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
|
|
Verify std library (partition 2)
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
|
|
Verify std library (partition 1)
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
|
|
Verify std library (partition 4)
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
|
|
Verify std library using autoharness (macos-latest)
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
|
|
Kani Metrics (macos-latest)
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
356 KB |
sha256:d1120e0a8d20e02afaab6305f914275f35cfb88479002034208453a478914beb
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:07dfa17f415f1ef0d371a9ea519f57b191c97d91102d6d07e7c026f2a4e566c7
|
|
|
macos-latest-results.json
|
397 KB |
sha256:1365acf63b63a173d6d01b6fa17183a55e5c798de725ac5d0e6c603b90804af4
|
|
|
macos-latest-results.tar.gz
Expired
|
839 KB |
sha256:6033da3b0086f7fcbeb726b25f56faa354104313de93de88a4bf96d154d5fdde
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
374 KB |
sha256:e564c824bcca744e16e50ea618e131a0f73a678db479c57ace56d94c0c1b399b
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:bedb74d0a58d940021ff5b9364f7747d8979cd7d2e74f2bac9cb814c0347d486
|
|
|
ubuntu-latest-results.json
|
421 KB |
sha256:25681b0e1a53e4087c008bab4ccba95e77fb6cc666b469da332f5156d16d8f14
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
902 KB |
sha256:5ee769009e66613e43651f486fdcc3e76f25abaa361a48d0c53a6b47d2729547
|
|