Skip to content

Merge subtree update for toolchain nightly-2026-10-11 - #727

Open
github-actions[bot] wants to merge 10000 commits into
mainfrom
sync-2026-10-11
Open

github-actions[bot] wants to merge 10000 commits into
mainfrom
sync-2026-10-11

Fix Kani Metrics log parser for current Kani output

b0e5151
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Analyze (python)
succeeded Oct 14, 2026 in 1m 0s