Skip to content
Clippy Dev Test

Auto merge of #13636 - GuillaumeGomez:extend-large_include_file, r=dswij #18959

Sign in to view logs

Auto merge of #13636 - GuillaumeGomez:extend-large_include_file, r=dswij

Auto merge of #13636 - GuillaumeGomez:extend-large_include_file, r=dswij #18959

Triggered via push October 31, 2024 09:25
@borsbors
pushed e1fa1b2
auto
Status Success
Total duration 1m 16s
Artifacts –

clippy_dev.yml

on: push
clippy_dev
1m 0s
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