Fmt #174
tautschnigkani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
43m 56s
Kani Autoharness Analyzer
32m 47s
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 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 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 (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:a16c4f685ac624cdae4042e3e96dd11f345875df3c51a5ba32ae42d943b8b251
|
|
|
macos-latest-kani-list.json
Expired
|
62.8 KB |
sha256:ed08a4984eddb2f48cb8939aae754d6d01133b08f1a829d7932af5af718424d0
|
|
|
macos-latest-results.json
Expired
|
353 KB |
sha256:8506ef3ca60d0d09eea609232c9ca298724de28baf148af7109fe7e7fe67e5ac
|
|
|
macos-latest-results.tar.gz
Expired
|
832 KB |
sha256:bfe15aed97818e639a192fa9e9c2f13842636181eb1fed67a41370ed7fcfedb3
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
367 KB |
sha256:a1521930b285ad0418c29f43fe9c5f2f343883da05673eb1ed2775b993eacc5f
|
|
|
ubuntu-latest-kani-list.json
Expired
|
70 KB |
sha256:47f5eb21e2c258521085de0fcc3bc4aa36bc8d3fa2110cb4dce9992d8b6f9421
|
|
|
ubuntu-latest-results.json
Expired
|
377 KB |
sha256:80d5a5b307dd7be69f4fa50866ffbec46c9c5f2d084b9f3871972b1caec44901
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
897 KB |
sha256:763e488c1fa7ba8d0a77872c9046f6299209715770e2920f42e2e5cb70d600ff
|
|