Skip to content

Auto merge of #13415 - rust-lang:flip1995-vacation-done, r=flip1995 #1

Auto merge of #13415 - rust-lang:flip1995-vacation-done, r=flip1995

Auto merge of #13415 - rust-lang:flip1995-vacation-done, r=flip1995 #1

Triggered via push September 19, 2024 19:42
Status Success
Total duration 4m 37s
Artifacts

clippy.yml

on: push
Fit to window
Zoom out
Zoom in