Skip to content
Clippy Dev Test

Auto merge of #13230 - kyoto7250:fix_issue_13099, r=flip1995 #18177

Sign in to view logs

Auto merge of #13230 - kyoto7250:fix_issue_13099, r=flip1995

Auto merge of #13230 - kyoto7250:fix_issue_13099, r=flip1995 #18177

Triggered via push August 12, 2024 19:49
@borsbors
pushed 8827107
auto
Status Success
Total duration 1m 19s
Artifacts –

clippy_dev.yml

on: push
clippy_dev
58s
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