7937
88%

Ran 06 Nov 2026 12:11AM UTC

Jobs 1

Files 675

Run time 1min

Badge

Committed 06 Nov 2026 12:07AM UTC coverage: 88.451% (+0.001%) from 88.45%

Build # 7937

Build Type

push

github

Committed by

Commit Message

feat(immut/hashmap): add constant-time is_empty

Coverage Stats

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

25097 of 28374 relevant lines covered (88.45%)

419546.31 hits per line

ID	Job ID	Ran	Files	Coverage
1	7937.1	06 Nov 2026 12:11AM UTC	675	88.45	GitHub Action Run