Add and update rewards to open challenges lacking one #2289
Triggered via pull request
October 8, 2025 15:36
feliperodri
Status
Success
Total duration
1h 13m 30s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 3m
Kani Autoharness Analyzer
44m 34s
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/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 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 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 (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
|
|
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
|
354 KB |
sha256:f147cf9affda33cef84c47f72311b259020d760f1a26d907a5b3952e9126cbd3
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:ec1800f461bd5f13cebad218c21be618c43a5a9b65c8d4801fc8c0e849392b30
|
|
|
macos-latest-results.json
Expired
|
394 KB |
sha256:7830fe3c01c0779f534732340a14262118eeb28f0a92eb154c5d207e5d717522
|
|
|
macos-latest-results.tar.gz
Expired
|
833 KB |
sha256:54163d1d2801563c6a2dddee788102eeebec54eab207558f669fb301d467207c
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:0dbddf08102408fbeba232c9f935c586523b24d06d71e99b4c7bc041374d047e
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:6582ae15113f39c488b19e897fdbc8036c166832a120d07deb5781e367f821d8
|
|
|
ubuntu-latest-results.json
Expired
|
419 KB |
sha256:ffd998820e30a3ca81c93cb95ddf380a987751553816ce24550c559ef8704606
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
898 KB |
sha256:4889f20f8ea68b52f4749b78ec2e3618b38964fc185a404d7e2bef52a7dfae9a
|
|