Fix subtree automation for submodules when there were no changes #171
tautschnigkani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
58m 11s
Kani Autoharness Analyzer
39m 25s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
12 warnings
|
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]
|
|
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]
|
|
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 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
|
361 KB |
sha256:8e84015bce3afee57263df19d7ea79833c99d343688bc254b09f747367d5eafa
|
|
|
macos-latest-kani-list.json
Expired
|
54.6 KB |
sha256:3d6f768d0f5fa69a86178ae9f95040102ae44462cd81bf40d9b3db55395559e0
|
|
|
macos-latest-results.json
Expired
|
354 KB |
sha256:69d3df08c241fbd69300506cd1f3266e6cd6624fbf58fab6c25919ec9a8ffc9a
|
|
|
macos-latest-results.tar.gz
Expired
|
830 KB |
sha256:8832453e0d185d15596bf49163ca92cefaddaeebe75b526024352eeb8a7b5248
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
378 KB |
sha256:89f0cb29d8ce36047118c173e9ae6d3b4b8cf1de10408e6756bd79e9e8af9fee
|
|
|
ubuntu-latest-kani-list.json
Expired
|
55.3 KB |
sha256:6d9ac2f189c3ca2e9ebdf90cda313d3f05e79c9a8363e2791803aa5f68149e68
|
|
|
ubuntu-latest-results.json
Expired
|
370 KB |
sha256:a0f2739ebc6df32ef62bd1d89057aae2c0a76338f4db883e23115b7210ad49ac
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
893 KB |
sha256:b5736759b147ba8d6e2d7174d16fd50db6cbb0ae38c7736ad9dc33ab4fb1c7db
|
|