Skip to content
CI

Add tag to change the font family #16

Sign in to view logs

Add tag to change the font family

Add tag to change the font family #16

Triggered via pull request July 28, 2024 10:26
@TimJentzschTimJentzsch
opened #12
9-font-family-tag
Status Success
Total duration 52s
Artifacts –

ci.yaml

on: pull_request
Tests
37s
Tests
Clippy
33s
Clippy
Format
12s
Format
Docs
43s
Docs
Fit to window
Zoom out
Zoom in