Merge subtree update for toolchain nightly-2025-10-09 #2315
Triggered via pull request
October 10, 2025 12:37
tautschnig
Status
Success
Total duration
1h 31m 43s
Artifacts
8
kani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 1m
Kani Autoharness Analyzer
51m 53s
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 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:
|
|
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:
|
|
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
Expired
|
359 KB |
sha256:e1ed3b1ddb7a43a93959a5383480324cd09c54ac5e763073b4e9ab9c8d042474
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:7414c79581bcbbf0c82a0c311270e581576efb313b94130e32351980423222a5
|
|
|
macos-latest-results.json
|
397 KB |
sha256:86f6de7f33d31e7a66f62496d36c3309c186926c39b144a422edeb3ca9242b80
|
|
|
macos-latest-results.tar.gz
Expired
|
839 KB |
sha256:c22858d5bc4111239e521dddecfe2f604b28571cb377d7231da0ff78ed02d0c6
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
374 KB |
sha256:57d1968ae52c318ab22d4d8fc2d63785d06d0e50298d1e9024453d875a4d2d33
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:cbef95bbcfffbc1c1d60f296393f6550076d408e655fbc6d6d078508601e488c
|
|
|
ubuntu-latest-results.json
|
421 KB |
sha256:aa83a77ae0d8f4c85ca58ed782fd0efe0a3b82a01f91e27d3c994700bf101f67
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
901 KB |
sha256:aef5714f8d827b0794911e9ccf29a70c5ae7d949cf56840e6807f2e6d7c60ec8
|
|