Remove spurious comments about the need for quantifiers (#457) #2302
github-merge-queue[bot]kani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 1m
Kani Autoharness Analyzer
43m 23s
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 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:394772c43abf22b26d5e4fa12b98ecffc5643587d26aa683351d698a28c3640b
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:c42c791cdbf9d33c6ea0c0ac943d838530bdc711099c2e07b4ed9c522c3dc0e2
|
|
|
macos-latest-results.json
Expired
|
394 KB |
sha256:6e0a1b1ecfec948090f7095b884a6c2836e3ef23c39f828872789faefc3dc509
|
|
|
macos-latest-results.tar.gz
Expired
|
833 KB |
sha256:1c8ebd02c63ca4d300be58e7ac0e759da1b0e8b75bff8ccd5efbc1b75b21ce25
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:aaf41553ad90c93b8fa4c5fd2d69e9554fdb94ff5495b0de8fef05e2002b9073
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:d2e4e8692e32730222ade15820efbe8b9a084407642619ab7beda0cc452c7df2
|
|
|
ubuntu-latest-results.json
Expired
|
419 KB |
sha256:a733ac9a1d65d5455afc26f86120aca73d20be6181a88cd06d1577394942dfbd
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
897 KB |
sha256:af845b82c5c34c3efde11537e1f3f8103adafc21d7582f6314b884af36447ac0
|
|