Skip to content

Auto merge of #13539 - GuillaumeGomez:allow-no-js, r=Alexendoo #18822

Auto merge of #13539 - GuillaumeGomez:allow-no-js, r=Alexendoo

Auto merge of #13539 - GuillaumeGomez:allow-no-js, r=Alexendoo #18822

Triggered via push October 18, 2024 19:24
Status Success
Total duration 1m 15s
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