Skip to content

Merge branch 'master' into user-options #12

Merge branch 'master' into user-options

Merge branch 'master' into user-options #12

Triggered via push October 24, 2024 17:25
Status Success
Total duration 19s
Artifacts

pint-fix.yml

on: push
fix-php-code-styling
10s
fix-php-code-styling
Fit to window
Zoom out
Zoom in