Subtree update automation: update submodules #170
tautschnigkani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 42m
Kani Autoharness Analyzer
37m 54s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
1 error and 12 warnings
|
Kani List
The hosted runner lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
|
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.5
|
|
Verify std library (partition 3)
[email protected] 3.13.5 is already installed and up-to-date.
To reinstall 3.13.5, run:
brew reinstall [email protected]
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.5
|
|
Verify std library (partition 1)
[email protected] 3.13.5 is already installed and up-to-date.
To reinstall 3.13.5, run:
brew reinstall [email protected]
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.5
|
|
Verify std library using autoharness (macos-latest)
[email protected] 3.13.5 is already installed and up-to-date.
To reinstall 3.13.5, run:
brew reinstall [email protected]
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.5
|
|
Verify std library (partition 4)
[email protected] 3.13.5 is already installed and up-to-date.
To reinstall 3.13.5, run:
brew reinstall [email protected]
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.5
|
|
Verify std library (partition 2)
[email protected] 3.13.5 is already installed and up-to-date.
To reinstall 3.13.5, run:
brew reinstall [email protected]
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.5
|
|
Kani Metrics (macos-latest)
[email protected] 3.13.5 is already installed and up-to-date.
To reinstall 3.13.5, run:
brew reinstall [email protected]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
360 KB |
sha256:3a78f93b667a49cc21480694b3e1819f9888e1ea3aaaf10d795625f48a81742c
|
|
|
macos-latest-kani-list.json
Expired
|
54.5 KB |
sha256:73a750015ad6a46f0525c4c0e1f9b72a60b5aed8577882cd8cf6df81a179a508
|
|
|
macos-latest-results.json
Expired
|
353 KB |
sha256:afa2b8e2e85052cf55a386e845064f3db411ac125203dd254d4110c57f541da6
|
|
|
macos-latest-results.tar.gz
Expired
|
831 KB |
sha256:7e1bbde451aa599dd72c121d80ed1500392769bdc4490cb17a5b63202e606bf8
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
376 KB |
sha256:77bac4a32a763d7dea6b9a2684ad707a210d68da34af14d53a9a91cb2e35a1ad
|
|
|
ubuntu-latest-kani-list.json
Expired
|
55.2 KB |
sha256:2ba97ca6b8f40650ce370fa821b0e06dfe94c68f7b5259844a62766603011e87
|
|
|
ubuntu-latest-results.json
Expired
|
369 KB |
sha256:edd096d68bccd7ab4016e06e72aee01d1e8433612453f52cadbfdd2d47c67ef9
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
892 KB |
sha256:2913b8fa95414d7f85f1003380b683cabf592741c5c2a9f0e266656b0af9feb7
|
|