LLM-generated contracts #2296
Triggered via pull request
October 8, 2025 15:51
feliperodri
Status
Success
Total duration
1h 34m 12s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 0m
Kani Autoharness Analyzer
45m 11s
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 1360k. 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 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
|
355 KB |
sha256:bf30496a200ed1492d91ad1240a25e2fbd21559a8c1fe1afc6f37fc7a330bc33
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:3a79204be7e9b6a0625d8dab067af24a4b622648194e6633b800634b812726f4
|
|
|
macos-latest-results.json
Expired
|
395 KB |
sha256:42e916a29acd0a0a0290de12bf66c3cc5d23637622d959ab9cbcc2b710f78081
|
|
|
macos-latest-results.tar.gz
Expired
|
832 KB |
sha256:711af48c4b13c18c65e669d9e87f135ce91738434571fe83e900e50e520ce02d
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:bd210e10d084e594aab4939f3e665c4ef8eea6248607c0006cc70def758e52ce
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:9da91258ad340105e1bfadcde657f20d3f6499646b6c6f19aca568853bfd27b5
|
|
|
ubuntu-latest-results.json
Expired
|
419 KB |
sha256:4e49941a69800c9b57283a4a9dbd24571d3fdcec9b99d03bd145ab4fc57ac34d
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
897 KB |
sha256:404f13672123041ab6179e9706453a6b22b410ede0be8a0162784358b1c319d9
|
|