Skip to content

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

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

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

Triggered via push September 18, 2024 17:30
Status Success
Total duration 1m 13s
Artifacts

clippy_dev.yml

on: push
clippy_dev
55s
clippy_dev
bors dev test finished
0s
bors dev test finished
bors dev test finished
0s
bors dev test finished
Fit to window
Zoom out
Zoom in