Skip to content

Rename and product font #75

Rename and product font

Rename and product font #75

Triggered via pull request March 28, 2025 11:09
@andreaskienleandreaskienle
synchronize #9
mono-font
Status Success
Total duration 1m 0s
Artifacts

on-pr.yaml

on: pull_request
Fit to window
Zoom out
Zoom in