Skip to content
Clippy Dev Test

Auto merge of #13540 - GnomedDev:create-dir-single-arg, r=y21 #18768

Sign in to view logs

Auto merge of #13540 - GnomedDev:create-dir-single-arg, r=y21

Auto merge of #13540 - GnomedDev:create-dir-single-arg, r=y21 #18768

Triggered via push October 13, 2024 13:34
@borsbors
pushed 236751d
auto
Status Success
Total duration 1m 12s
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