Bump VeriFast to 25.11; fixes failure #2352
tautschnigkani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
57m 58s
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 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 3)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library (partition 3)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library (partition 2)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library using autoharness (macos-latest)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library (partition 1)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Verify std library (partition 4)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
Kani Metrics (macos-latest)
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
356 KB |
sha256:62b74c294ccf99a1c10150b2d09df43f2c0ab9edf9fb700cedafe3c5a90630b6
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:255764e0b0d72656b0ae1ac47ea8deb9c13451d38dbf9ac75146450f09e425ee
|
|
|
macos-latest-results.json
Expired
|
397 KB |
sha256:659da2b1ce5eeba943e76f9c70c98d92937295785174a4c8986be8965fb9a9b5
|
|
|
macos-latest-results.tar.gz
Expired
|
839 KB |
sha256:3519db85270998f0f1dd674f45f6cfb2f71664da484c007325da601c5a42420c
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:7824fd3913403e853242fd6c12481d9e643110f17c2eaf19245d7422b9dc2bcb
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:482c7482ec3e88ef5d4b5bd76f1b1cc4a41abb0994d75ee2eb7a8189b1f06af8
|
|
|
ubuntu-latest-results.json
Expired
|
421 KB |
sha256:5988dd1203f13e5f3d1cab646abcb08d3d84869dd3e5051aba129395a0cebe8c
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
902 KB |
sha256:77e76261941aecb64ef9aefc1e899d4e8879528d25372f6618f7eb73d2f032b1
|
|