Skip to content

Split user preferences in two sections #1986

Split user preferences in two sections

Split user preferences in two sections #1986

Triggered via pull request December 1, 2025 08:13
Status Success
Total duration 19s
Artifacts

format.yml

on: pull_request
Verify Python formatting
5s
Verify Python formatting
Check HTML formatting
15s
Check HTML formatting
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Check HTML formatting
The `python-version` input is not set. The version of Python currently in `PATH` will be used.