Skip to content

change code font

change code font #45

Triggered via pull request December 5, 2023 14:39
@christophsaxchristophsax
synchronize #21
codefont
Status Success
Total duration 3m 37s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

publish.yml

on: pull_request
Fit to window
Zoom out
Zoom in