Add and update rewards to open challenges lacking one #2290
Triggered via pull request
October 8, 2025 15:38
feliperodri
Status
Success
Total duration
1h 17m 26s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 6m
Kani Autoharness Analyzer
41m 52s
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
|
|
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
|
|
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
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
355 KB |
sha256:81cad2856819972ea28cc8139003a0d289cdc0dd2113afeb0bdc45802ff2bbf2
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:205b7fc1c52da63ebfcb14cc6a8576508a430d2c2c919feb0194dc8aacf7ddd3
|
|
|
macos-latest-results.json
Expired
|
394 KB |
sha256:24dd84eb1a347cdc05b2d580d4ff73f972a0c4fabf9153e4fdc404de63b03642
|
|
|
macos-latest-results.tar.gz
Expired
|
832 KB |
sha256:0b3a81126d7209f828de802ab509e5e8c73e440b6290c53560fdf9ad6df52426
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:e52533ba1d784365ee21845c567e17ab9541d056dc885bc18a0b9c74620dcd3a
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:7c74a25d1a21999b18a23dc854f249bbf1a3763eaa71d13ca48daa54d815adef
|
|
|
ubuntu-latest-results.json
Expired
|
419 KB |
sha256:42e2d5938af5da384e4b22ca4710b3f8c9b8221fea601ecbb3f9cff4b8d25d85
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
897 KB |
sha256:0d6a66e5fcc9544a004df5521902b17bdd4cec9b3e8a62fa8c9efb6697a80b58
|
|