DEBUG #146
tautschnigkani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
49m 4s
Kani Autoharness Analyzer
34m 35s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
2 errors and 12 warnings
|
Build JSON from logs (ubuntu-latest)
Process completed with exit code 1.
|
|
Build JSON from logs (macos-latest)
Process completed with exit code 1.
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.3
|
|
Kani Metrics (macos-latest)
[email protected] 3.13.3 is already installed and up-to-date.
To reinstall 3.13.3, run:
brew reinstall [email protected]
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.3
|
|
Verify std library using autoharness (macos-latest)
[email protected] 3.13.3 is already installed and up-to-date.
To reinstall 3.13.3, run:
brew reinstall [email protected]
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.3
|
|
Verify std library (partition 4)
[email protected] 3.13.3 is already installed and up-to-date.
To reinstall 3.13.3, run:
brew reinstall [email protected]
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.3
|
|
Verify std library (partition 1)
[email protected] 3.13.3 is already installed and up-to-date.
To reinstall 3.13.3, run:
brew reinstall [email protected]
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.3
|
|
Verify std library (partition 2)
[email protected] 3.13.3 is already installed and up-to-date.
To reinstall 3.13.3, run:
brew reinstall [email protected]
|
|
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.3
|
|
Verify std library (partition 3)
[email protected] 3.13.3 is already installed and up-to-date.
To reinstall 3.13.3, run:
brew reinstall [email protected]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
350 KB |
sha256:f7d2d0e5ab1763fdf0f185f1b3cba6bd090b1164171ba49c680e50a936feeeed
|
|
|
macos-latest-kani-list.json
Expired
|
53.3 KB |
sha256:ca22ccaea37a17901c663be76340a493d5fb4c9ea3e408f731fe14028b629330
|
|
|
macos-latest-results.tar.gz
Expired
|
822 KB |
sha256:2a2fffd8bbd7317c2d3a8435434f5307d54fcecb318d1bf95d7dc1d8203ad7f8
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
366 KB |
sha256:cf43b4b56389375fc8b69dd0a078a40b3854aeaa1e395da3686e8f7d4d8bc578
|
|
|
ubuntu-latest-kani-list.json
Expired
|
53.9 KB |
sha256:aff1ad2a432163f6c078a5aff8fcdb5a1922eb39354c762aea2dfdea79b32f35
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
882 KB |
sha256:43f29aca45f34802d10bf401317dc2208bec617ce3a67e493e1d4924dbd4407a
|
|