Skip to content

Auto merge of #12306 - Alexendoo:dir-replacement, r=flip1995 #16066

Auto merge of #12306 - Alexendoo:dir-replacement, r=flip1995

Auto merge of #12306 - Alexendoo:dir-replacement, r=flip1995 #16066

Triggered via push February 19, 2024 09:20
Status Success
Total duration 1m 13s
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