Clarify documentation of can_dereference with write permissions (#510)
#2330
github-merge-queue[bot]kani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
58m 16s
Kani Autoharness Analyzer
43m 56s
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/[email protected]/3.14.0
|
|
Verify std library (partition 3)
[email protected] 3.14.0 is already installed and up-to-date.
To reinstall 3.14.0, run:
brew reinstall [email protected]
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library (partition 1)
[email protected] 3.14.0 is already installed and up-to-date.
To reinstall 3.14.0, run:
brew reinstall [email protected]
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library (partition 2)
[email protected] 3.14.0 is already installed and up-to-date.
To reinstall 3.14.0, run:
brew reinstall [email protected]
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library (partition 4)
[email protected] 3.14.0 is already installed and up-to-date.
To reinstall 3.14.0, run:
brew reinstall [email protected]
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library using autoharness (macos-latest)
[email protected] 3.14.0 is already installed and up-to-date.
To reinstall 3.14.0, run:
brew reinstall [email protected]
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Kani Metrics (macos-latest)
[email protected] 3.14.0 is already installed and up-to-date.
To reinstall 3.14.0, run:
brew reinstall [email protected]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
357 KB |
sha256:b18a81e50f1fff50e4bb0f569126d1a8119a877df4204706f461af98c76660bb
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:f6583082327d8950c39790aaac820d27e25cb935944de09ac7b18c842a05c322
|
|
|
macos-latest-results.json
|
397 KB |
sha256:81815e62b73a24caed9033da465bfe07aa16e27b55b17b02018257306ccb76d2
|
|
|
macos-latest-results.tar.gz
Expired
|
837 KB |
sha256:962ef77f7d47d0fd422b6ca871a8df61170f452609c17c21324c035d92ebb753
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:0edbe89bc6ab1d66e5375632adc3b2c30b91a710e288b1ea0bcea8e0470f587a
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:4c5c1caa38b0ac694b0f3bbc73a437119c36b945e518d1d311b6a54d3f208612
|
|
|
ubuntu-latest-results.json
|
421 KB |
sha256:ece5a1aa7fddac689de48f5f6ca98a42db1ba5b5263bfc3cb67f5e0bd83c9876
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
901 KB |
sha256:6cd1ddd394d000133658c2a4058482c5a228b7b2b4bd4444cb141b75e54331a2
|
|