Skip to content

Fix leading zero having different font #773

Fix leading zero having different font

Fix leading zero having different font #773

Triggered via push April 30, 2024 09:30
Status Success
Total duration 32s
Artifacts

ci.yml

on: push
Static code analysis
22s
Static code analysis
Type checking
23s
Type checking
Formatting
17s
Formatting
Unit tests
17s
Unit tests
Fit to window
Zoom out
Zoom in