1731
83%

Ran 15 Jun 2024 02:20AM UTC

Jobs 1

Files 125

Run time 1min

Badge

Committed 15 Jun 2024 02:20AM UTC coverage: 88.781% (-0.007%) from 88.788%

Build # 1731

Build Type

push

github

Committed by

Commit Message

feat: string add index_of api (#557)

* feat: string add index_of api

* add todo

---------

Co-authored-by: Hongbo Zhang <bobzhang1988@gmail.com>

Run Details

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

2 existing lines in 2 files now uncovered.

2643 of 2977 relevant lines covered (88.78%)

2582.0 hits per line

Lines	Coverage	∆	File
1	93.22	-1.22%	queue/queue.mbt
1	92.96	-0.33%	immut/list/list.mbt

ID	Job ID	Ran	Files	Coverage
1	1731.1	15 Jun 2024 02:20AM UTC	125	88.78	GitHub Action Run