Fix #177
tautschnigkani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
45m 23s
Kani Autoharness Analyzer
30m 54s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
12 warnings
|
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 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 (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 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]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
348 KB |
sha256:89d4c68de8d64833a095cbdeea5be0ac189b19c5e22953c919ca534859ef1eda
|
|
|
macos-latest-kani-list.json
Expired
|
62.3 KB |
sha256:9cbee76f9badb89f116a552d37c62f2728b219f07eae3c8dc7ea21e433579176
|
|
|
macos-latest-results.json
Expired
|
352 KB |
sha256:d2fbf85be73ae66c556cc6f8f09b0b9b3abf7cb0fff8fbd48c1e7ec51f5a2111
|
|
|
macos-latest-results.tar.gz
Expired
|
832 KB |
sha256:f9ceffdfefd8552a27638c1f1037bfea903f88c2bb2bf6f654671c128bfb7b99
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
369 KB |
sha256:5b5f042650fab5aa35a6b58852e1c9f20b24b11fd59acde58c554996bf66a528
|
|
|
ubuntu-latest-kani-list.json
Expired
|
69.5 KB |
sha256:6a17d6db0ec98748d370892a98faf18c8f1ed011b3d14731a0ba74bee97f0529
|
|
|
ubuntu-latest-results.json
Expired
|
376 KB |
sha256:daa92039eea3c3161d88f945448fa5f74279859437e67f0a427762c17e445a2b
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
897 KB |
sha256:5ae02bd0c6e8c526305b73fee221c815bbe605db02d61a627d29aafb7028ea50
|
|