Merge branch 'main' into flux-in-tools #182
tautschnigkani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 1m
Kani Autoharness Analyzer
43m 0s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
1 error, 12 warnings, and 14 notices
|
Kani List
$GITHUB_STEP_SUMMARY upload aborted, supports content up to a size of 1024k, got 1358k. For more information see: https://docs.github.com/actions/using-workflows/workflow-commands-for-github-actions#adding-a-markdown-summary
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.6
|
|
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.13.6
|
|
Verify std library (partition 2)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.6
|
|
Verify std library (partition 1)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.6
|
|
Verify std library (partition 3)
These files were overwritten during the `brew link` step:
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.6
|
|
Verify std library (partition 4)
These files were overwritten during the `brew link` step:
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.6
|
|
Kani Metrics (macos-latest)
These files were overwritten during the `brew link` step:
|
|
Verify std library using autoharness (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Verify std library using autoharness (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Verify std library (partition 2)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Verify std library (partition 2)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Verify std library (partition 1)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Verify std library (partition 1)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Verify std library (partition 3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Verify std library (partition 3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Verify std library (partition 4)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Verify std library (partition 4)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Kani Metrics (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Kani Metrics (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Build JSON from logs (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Build JSON from logs (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
356 KB |
sha256:5341b108fdb2272d188e6d4998e70a7eeb84c9b59f31b600b5233bffb166f48a
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:305565617574fc7f3f35371717ce0ff7e90ca71b90ae8a1c0d4b2d920ba115c3
|
|
|
macos-latest-results.json
|
391 KB |
sha256:e2a2d737667270c934b227b3a5f2a43ec46a23891289bf9120ee0fd555a542cc
|
|
|
macos-latest-results.tar.gz
Expired
|
833 KB |
sha256:1dd9922049b0742b1a96f745801aeb31e620444af97d961b59f74415d3ddc74c
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:ae72e9e666e7f1cecf6394b8a64df267abe40a387363a4289bf4b7fb058c5ade
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:17f3524410d64fef03eb0b81a9f647a5b1d2671dea8dbc850d4ea07d332be1ab
|
|
|
ubuntu-latest-results.json
|
415 KB |
sha256:76bb74e48edfb3e7796ee6425a7fa0935d86431d886d946057928b30f1aec642
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
899 KB |
sha256:5655848179a66f02d7347ab49c734aa1670a4f3032219f8af83725df2d677e51
|
|