89bd1ae8430b3df31618b269b6ed8d74ced17d73-PR-228
94%
main: 94%

Ran 12 Jul 2026 03:38PM UTC

Jobs 1

Files 3

Run time 1min

Badge

Committed 12 Jul 2026 03:37PM UTC coverage: 93.792% (+0.2%) from 93.584%

Build Type

github

Committed by

Commit Message

Shrink one_of/1 towards earlier elements first

Coverage Stats

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

423 of 451 relevant lines covered (93.79%)

11816.2 hits per line

ID	Job ID	Ran	Files	Coverage
1	89bd1ae8430b3df31618b269b6ed8d74ced17d73-PR-228.1	12 Jul 2026 03:38PM UTC	3	93.79	GitHub Action Run