Update Kani Metrics (#478) #185
tautschnigkani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
3m 58s
Kani Autoharness Analyzer
43m 9s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
1 error and 12 warnings
|
Kani List
Process completed with exit code 128.
|
|
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 3)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 2)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 1)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 4)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library using autoharness (macos-latest)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Kani Metrics (macos-latest)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
354 KB |
sha256:0c9dfdc4ed7688f90c01d5ca4cbbd1656f50a0adab7025c1c99cca1e5d35868d
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:354698289439343cdc1cafa14199b10cc7d65f70d6db766028a55cb73385e584
|
|
|
macos-latest-results.json
|
394 KB |
sha256:db5984b0742ea7cf660a170eb75b8b3a3944a7e2a9118b778d332d6fd83f5521
|
|
|
macos-latest-results.tar.gz
Expired
|
831 KB |
sha256:94b82ad2a2e38fb9212ca50ef31a78aaed32fa3eedf2a23b0edbe7dfa81685e1
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:d44869b451232c46fe6b3a4fc1352aaf8527d1014a98e534e3011d31352005dd
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:448b6f01be8ab7fe17b31716b3458354daee9fa0ee6edd99367890f6d4e7feb9
|
|
|
ubuntu-latest-results.json
|
418 KB |
sha256:65fdb4aaf82f4f2b93aa4d8b2f7d6bd8c4dbfa2193f2680ab735ff67adf5c0a9
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
895 KB |
sha256:6f39b21cf3160d9ae528fb81c3b43ab432f2a4f2805233c270b8c7389b050b5a
|
|