Skip to content

Auto merge of #13452 - ljgermain:master, r=Centri3 #18585

Auto merge of #13452 - ljgermain:master, r=Centri3

Auto merge of #13452 - ljgermain:master, r=Centri3 #18585

Triggered via push September 24, 2024 21:02
Status Success
Total duration 1m 14s
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