Skip to content
Clippy Dev Test

Auto merge of #12963 - lochetti:fix_12874, r=Centri3 #17415

Sign in to view logs

Auto merge of #12963 - lochetti:fix_12874, r=Centri3

Auto merge of #12963 - lochetti:fix_12874, r=Centri3 #17415

Triggered via push June 19, 2024 19:01
@borsbors
pushed 4aee08f
auto
Status Success
Total duration 1m 9s
Artifacts –

clippy_dev.yml

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