themes_*() scale relevant elements with argument base_size.
#776
Triggered via pull request
January 30, 2025 21:52
strengejacke
Status
Cancelled
Total duration
2m 49s
Artifacts
–
Annotations
2 errors
|
lint / lint
Canceling since a higher priority waiting request for 'lint-theme_scale' exists
|
|
lint / lint
The operation was canceled.
|