Skip to content

[DO NOT MERGE] introduce user settings #3276

[DO NOT MERGE] introduce user settings

[DO NOT MERGE] introduce user settings #3276

Triggered via pull request September 20, 2024 11:28
Status Success
Total duration 48s
Artifacts

documentation.yaml

on: pull_request
Deploy docs
0s
Deploy docs
Test docs build
37s
Test docs build
Fit to window
Zoom out
Zoom in