Skip to content

Add PT fonts option, fix dashes and mu characters #4

Add PT fonts option, fix dashes and mu characters

Add PT fonts option, fix dashes and mu characters #4

Triggered via push October 12, 2024 22:05
Status Success
Total duration 17s
Artifacts

ci.yml

on: push
pre-commit checks
9s
pre-commit checks
Fit to window
Zoom out
Zoom in