Skip to content

Merge user preferences into global configuration. #14

Merge user preferences into global configuration.

Merge user preferences into global configuration. #14

Triggered via pull request September 26, 2024 20:42
Status Success
Total duration 15s
Artifacts

verify.yml

on: pull_request
Run PHP linter validation
7s
Run PHP linter validation
Fit to window
Zoom out
Zoom in