4
83%
main: 83%

Ran 10 Dec 2025 02:37PM UTC

Files 8

Run time 1s

Badge

Committed 10 Dec 2025 02:35PM UTC coverage: 82.337%. Remained the same

Build Type

push

github

Committed by

Commit Message

Fix readthedocs badge (#6)

We mistakenly wrote `3_1` instead of `31` in the badge URL. This patch
fixes the typo.

Run Details

14204 of 17251 relevant lines covered (82.34%)

0.82 hits per line