Skip to content

Scale the pixel sizes in the stylesheet according to GUI font size #10408

Scale the pixel sizes in the stylesheet according to GUI font size

Scale the pixel sizes in the stylesheet according to GUI font size #10408

Triggered via pull request November 4, 2023 18:22
Status Success
Total duration 8m 37s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
macOS
The following actions uses node12 which is deprecated and will be forced to run on node16: GabrielBB/xvfb-action@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Linux
The following actions uses node12 which is deprecated and will be forced to run on node16: GabrielBB/xvfb-action@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/