Skip to content

Merge pull request #21036 from paldepind/rust/prioritize-manual-summa… #34760

Merge pull request #21036 from paldepind/rust/prioritize-manual-summa…

Merge pull request #21036 from paldepind/rust/prioritize-manual-summa… #34760

Triggered via push December 16, 2025 11:47
Status Success
Total duration 1h 46m 18s
Artifacts
compile-queries
1h 46m
compile-queries
Fit to window
Zoom out
Zoom in