Merge branch 'main' into add-rewards #193
tautschnigkani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 0m
Kani Autoharness Analyzer
45m 24s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
1 error and 18 warnings
|
Kani List
$GITHUB_STEP_SUMMARY upload aborted, supports content up to a size of 1024k, got 1366k. For more information see: https://docs.github.com/actions/using-workflows/workflow-commands-for-github-actions#adding-a-markdown-summary
|
|
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library (partition 3)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 3)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library (partition 1)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 1)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library (partition 4)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 4)
These files were overwritten during the `brew link` step:
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library using autoharness (macos-latest)
These files were overwritten during the `brew link` step:
|
|
Verify std library using autoharness (macos-latest)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Verify std library (partition 2)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 2)
These files were overwritten during the `brew link` step:
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0
|
|
Kani Metrics (macos-latest)
These files were overwritten during the `brew link` step:
|
|
Kani Metrics (macos-latest)
These files were overwritten during the `brew link` step:
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
|
358 KB |
sha256:b949be0cb7447ed4b5be459c7f108c36f03139dd0b3e49fd0c90efd41dd2fc36
|
|
|
macos-latest-kani-list.json
|
102 KB |
sha256:8e66409bad8817805243ebed6a326acefc0ffec86bb43cf7105ad291b58b04b5
|
|
|
macos-latest-results.json
|
397 KB |
sha256:ab02d0c90f2ca04b7ccc8b2b789c0479e415f936baae1985d6c9f143875fa205
|
|
|
macos-latest-results.tar.gz
|
837 KB |
sha256:d6100ebc8ab7ab3bfa06edb2185f034289c1f2504a24b78b0095ec356e6c5dbe
|
|
|
ubuntu-latest-autoharness-verification.log.gz
|
374 KB |
sha256:78b80a0f37755425d20ca13ad72a1b4c7a0268bd462562bde40414859c40c86f
|
|
|
ubuntu-latest-kani-list.json
|
110 KB |
sha256:425346058934d8a6b4c80f912c028d3c850eb3ddef78137433f3473684d14059
|
|
|
ubuntu-latest-results.json
|
421 KB |
sha256:89c9c4d2ee299dbe40c78733ca0ef26d48ba9202a1864cabc05d2d775596dfbb
|
|
|
ubuntu-latest-results.tar.gz
|
900 KB |
sha256:2c91353dfbd5d933bb06c91d6283e20bf3232c9103b4fcbf4ae80402aed40bdf
|
|