Skip to content

Auto merge of #138761 - flip1995:clippy-subtree-update, r=Manishearth #5

Auto merge of #138761 - flip1995:clippy-subtree-update, r=Manishearth

Auto merge of #138761 - flip1995:clippy-subtree-update, r=Manishearth #5

Triggered via push March 21, 2025 10:17
Status Skipped
Total duration 1s
Artifacts

post-merge.yml

on: push
analysis
0s
analysis
Fit to window
Zoom out
Zoom in