Skip to content

Auto merge of #13631 - samueltardieu:push-uoowutzkvsrk, r=Centri3 #18998

Auto merge of #13631 - samueltardieu:push-uoowutzkvsrk, r=Centri3

Auto merge of #13631 - samueltardieu:push-uoowutzkvsrk, r=Centri3 #18998

Triggered via push November 3, 2024 19:43
Status Success
Total duration 1m 12s
Artifacts

clippy_dev.yml

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