39956391258
93%

Ran 23 Oct 2026 12:51PM UTC

Jobs 1

Files 56

Run time 1min

Badge

Committed 23 Oct 2026 12:50PM UTC coverage: 92.925% (+0.4%) from 92.509%

Build Type

push

github

Committed by

Commit Message

Doubleton equalities (#112)

Coverage Stats

106 of 106 new or added lines in 2 files covered. (100.0%)

6423 of 6912 relevant lines covered (92.93%)

998959.77 hits per line

ID	Job ID	Ran	Files	Coverage
1	39956391258.1	23 Oct 2026 12:51PM UTC	56	92.93	GitHub Action Run