Subtree update automation: update submodules #169
tautschnigkani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 40m
Kani Autoharness Analyzer
36m 1s
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 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]
|
|
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 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 (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]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
361 KB |
sha256:ad8637fe1416107179f0d56b3c58eeb3b882ad421036a54740ad4ca5384efa1d
|
|
|
macos-latest-kani-list.json
Expired
|
54.5 KB |
sha256:c3fd8a690602f77125e8ba9033a3574ff7ee075eb1931fe27bfbdb1f23f47ee6
|
|
|
macos-latest-results.json
Expired
|
353 KB |
sha256:678288347552a2bc7f441a693b8c3ff31e2f5faaaa961ddea926732bf24e9049
|
|
|
macos-latest-results.tar.gz
Expired
|
829 KB |
sha256:99e94db9521b9968b77493d5815fc41dde5faf09b9af305174c8b2785b6a2a0f
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
376 KB |
sha256:9a1e3cc70400053d3d8f908b4f15d7f9ac51f85915d357164ebf2008ae770606
|
|
|
ubuntu-latest-kani-list.json
Expired
|
55.2 KB |
sha256:c4821a1829773fcf31df1c2cb30ef174c76a3391fd3507a70ae2d47ef5ebd459
|
|
|
ubuntu-latest-results.json
Expired
|
369 KB |
sha256:f9a31be1bb882bf4c708a94447ebc68eed4fab03a3e54ee5e518e44a6c8727a1
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
893 KB |
sha256:26ddc4ca8fd1875d5a9a74f5bbfd9ff66b611e7ce6c0c09a8430a138961166b1
|
|