Skip to content
Kani

Remove spurious comments about the need for quantifiers (#457) #2300

Sign in to view logs

Remove spurious comments about the need for quantifiers (#457)

Remove spurious comments about the need for quantifiers (#457) #2300

Triggered via push October 8, 2025 17:06
@github-merge-queuegithub-merge-queue[bot]
pushed 6be9ca4
gh-readonly-queue/main/pr-457-53e9e1b08363d315c246e14e5f9988466c0d2683
Status Success
Total duration 1h 33m 8s
Artifacts 8

kani.yml

on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 2m
Kani List
Kani Autoharness Analyzer
43m 40s
Kani Autoharness Analyzer
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Fit to window
Zoom out
Zoom in

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
354 KB
sha256:ee547964de1217bac7e323b4491c0f8e2600549229359afea16994e4337f2793
macos-latest-kani-list.json Expired
101 KB
sha256:442848031f981c1fad1c404ad372947ade198eda5545f1fab7aa89fc4c48059a
macos-latest-results.json Expired
394 KB
sha256:abbca6a7e7be6a034f1ffc9adb4c7ae8446a8cd65f314ae2cdbec30a2453ec5b
macos-latest-results.tar.gz Expired
834 KB
sha256:f5f53455864288053293905605fa9c9a45f3e6c205fd3ab7b373fe0fa8d7cc2d
ubuntu-latest-autoharness-verification.log.gz Expired
373 KB
sha256:f393faa3dce6863d3bf912091a9f7c6085be216902bb699d4e5e6b7874882085
ubuntu-latest-kani-list.json Expired
109 KB
sha256:1693b26e70feb2c8051562cb416e60db41af5c51248cab63ced39e949394b8ab
ubuntu-latest-results.json Expired
419 KB
sha256:030988e6521a412862ed4c866c9c505fe379c5289ccac73b7686ad29e6097800
ubuntu-latest-results.tar.gz Expired
896 KB
sha256:8083921eff3c7b262d578b388b0b4e3daa70a9d46cece01c19dec2e81f0d6613