6705806299
99%

Ran 31 Oct 2023 11:26AM UTC

Jobs 1

Files 41

Run time 4s

Badge

Committed 31 Oct 2023 11:24AM UTC coverage: 97.562% (+0.07%) from 97.488%

Build Type

push

github

Committed by

Commit Message

Mathvariant deprecated, use unicode for double struck characters

Run Details

524 of 542 branches covered (0.0%)

Branch coverage included in aggregate %.

59 of 59 new or added lines in 1 file covered. (100.0%)

2037 of 2083 relevant lines covered (97.79%)

246.8 hits per line

ID	Job ID	Ran	Files	Coverage
1	6705806299.1	31 Oct 2023 11:26AM UTC	41	97.56	GitHub Action Run