Ipv6Addr #175
tautschnigkani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
43m 59s
Kani Autoharness Analyzer
32m 56s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
12 warnings
|
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 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]
|
|
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 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 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]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
348 KB |
sha256:0973e55e73090e85db0769fed9cc10300bee6d008ae576c859c98daa46c4ef4c
|
|
|
macos-latest-kani-list.json
Expired
|
62.9 KB |
sha256:bff2e90cd1405789c2241659995372e221656635287e2eeabee5be5aac1cf321
|
|
|
macos-latest-results.json
Expired
|
353 KB |
sha256:362a30cdc943812b6843e543a7c870defee46fc0bbdde5445e4d1ad73b73f359
|
|
|
macos-latest-results.tar.gz
Expired
|
831 KB |
sha256:db08556766fed75bb4eae56f5d573886daae8fc8a871ef85a112b5788dbdde5d
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
368 KB |
sha256:fddae98fbaca3abdb1c5321f63dca81b46bfcb52b15a21c5bd77c82fbdda9a45
|
|
|
ubuntu-latest-kani-list.json
Expired
|
70.1 KB |
sha256:2b466550d11e751938cd600ac11ef072d6ac28f6709252290c47652aa87162cb
|
|
|
ubuntu-latest-results.json
Expired
|
377 KB |
sha256:13143fa5aa40755e0e40837eafc0f470e4e62ed641c5867a3c0d48a7e238e348
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
896 KB |
sha256:a270262c489291fb15bbe1be2fc95992dcc44a889c8d96ee1412a7ad9d3917ba
|
|