Skip to content

Use notofonts.github.io for newer font releases #830

Use notofonts.github.io for newer font releases

Use notofonts.github.io for newer font releases #830

Re-run triggered November 14, 2023 23:18
Status Success
Total duration 1m 38s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in