Skip to content

Rename and product font #72

Rename and product font

Rename and product font #72

Triggered via pull request March 28, 2025 07:55
@andreaskienleandreaskienle
synchronize #9
mono-font
Status Success
Total duration 57s
Artifacts

on-pr.yaml

on: pull_request
Fit to window
Zoom out
Zoom in