Merge branch 'main' into use-quantifiers #190
feliperodrikani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 4m
Kani Autoharness Analyzer
46m 35s
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 using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library using autoharness (macos-latest)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 2)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 3)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 1)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Kani Metrics (macos-latest)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 4)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
354 KB |
sha256:9ad4127b0c89d308c2d7efaeeaf227b01bc93d71d79e4f83a950859be09bd573
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:4efbb4b6276407d1830255cebfbb70cdd687d3e079decdd1fcf41b38bfce246e
|
|
|
macos-latest-results.json
|
394 KB |
sha256:d4dc1ab78eb9cb1e1da263dd5ae7fd5941d295724b6dd45b644c9672218c4e34
|
|
|
macos-latest-results.tar.gz
Expired
|
833 KB |
sha256:1f3a5f928300188af6e2dbddbdae87cb26db550b9ce370c29c89c72748358d22
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
372 KB |
sha256:57823a51278ac8697131da8c3f82aa70656e24f274d24e95f6e8d97fd24d8968
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:0d514e31c3093bdb6e85d89673237683da93938abcbc6550eb2e61bde50c0c36
|
|
|
ubuntu-latest-results.json
|
419 KB |
sha256:7af4aeee0ae3f697e0044504a3bb67c68b6a725a104d5950b6c0a2eaf488bed5
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
897 KB |
sha256:7e9f44b3d387086623c8a82401c31011d3ae48fde3081515cd64682a12a420f9
|
|