Fix lookup #173
tautschnigkani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
43m 44s
Kani Autoharness Analyzer
32m 22s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
12 warnings
|
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]
|
|
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]
|
|
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 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]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
348 KB |
sha256:3c28451d794983e768affb259898ee167b8dd36da74a30e6cd6b4b5d2b342661
|
|
|
macos-latest-kani-list.json
Expired
|
62.8 KB |
sha256:572c758ecedd5739aee5599e4113caa24baf635ce5bc17d65b984f36efb07aff
|
|
|
macos-latest-results.json
Expired
|
353 KB |
sha256:9268cfb9f205449f3a8c222e348cd3ee961f184e32ffae1be1878c7cd20728b7
|
|
|
macos-latest-results.tar.gz
Expired
|
833 KB |
sha256:ca868f176c6300f501c534dca856df5df4b092e7475d918bf6a7e7906fd68b91
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
367 KB |
sha256:1d9322f7c56a0e8996cf690eb56034fc5f7308246e76c1fc48dd9e20aad0e32d
|
|
|
ubuntu-latest-kani-list.json
Expired
|
70 KB |
sha256:5bb7e7e17f9c0ee2454309e0095df978a566aa6af6ac21155cd098e9560f5106
|
|
|
ubuntu-latest-results.json
Expired
|
377 KB |
sha256:5b35eb9cb329bd9c35bc06f2ab57bb29c67b77e5029ff627813d99988f3d933c
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
897 KB |
sha256:a6e6e467bc1fc28389bcc237c84adcaa41b2ab39cb3efc3f176ce8d2883d0065
|
|