Improve the VeriFast scripts #2318
Triggered via pull request
October 11, 2025 16:11
btj
Status
Success
Total duration
1h 25m 48s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 0m
Kani Autoharness Analyzer
44m 18s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
1 error and 18 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 2)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.0
|
|
Verify std library (partition 2)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 2)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.0
|
|
Verify std library (partition 3)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 3)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.0
|
|
Verify std library (partition 1)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 1)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.0
|
|
Verify std library (partition 4)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 4)
These files were overwritten during the `brew link` step:
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.0
|
|
Verify std library using autoharness (macos-latest)
These files were overwritten during the `brew link` step:
|
|
Verify std library using autoharness (macos-latest)
These files were overwritten during the `brew link` step:
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.0
|
|
Kani Metrics (macos-latest)
These files were overwritten during the `brew link` step:
|
|
Kani Metrics (macos-latest)
These files were overwritten during the `brew link` step:
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
357 KB |
sha256:488c30ef3d16b972dc68d7a5074411c1ee340a4489c68d929231d4368f39a803
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:7e77dbed037cb8da38a9f08c4b83254d89b381df95e3e75bf0b7fa4d89a3fa2e
|
|
|
macos-latest-results.json
Expired
|
397 KB |
sha256:1c307218f4e9e96a5bc986c1dda7b45a6fbe012d679c3624ac12fda453d58bd2
|
|
|
macos-latest-results.tar.gz
Expired
|
837 KB |
sha256:29d7ba1d7a5e80b9e35cfa13c363a73a0c40ac8ca4d8bf5dd960c45b3937b590
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:1d3cd868e80f6dab5a642cbf9589c4896c0c8825599c7fc03f76ade2acb53240
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:2f005b255ee37f4964495ba5bbd43acc842a4123e1ca2409d0ac646604f2726f
|
|
|
ubuntu-latest-results.json
Expired
|
421 KB |
sha256:21cf3262daeae9e1cfc03fe88213cb783e69cd3abb6b48f0ee5e4065c7a1e248
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
900 KB |
sha256:8401fe12faafc9567d8a5fd2d3854d32264df70555d03e1e60b5338dd83c645d
|
|