snarfed / arroba / 87cdd784-d6d5-489d-884b-18fef662b312
93%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 12
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 92.151% (+0.2%) from 91.957%
87cdd784-d6d5-489d-884b-18fef662b312

push

circleci

snarfed 
add MST.get_covering_proofs

for sync v1.1 aka inductive firehose, #52

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

1761 of 1911 relevant lines covered (92.15%)

0.92 hits per line

Jobs
ID Job ID Ran Files Coverage
1 87cdd784-d6d5-489d-884b-18fef662b312.1 12
92.15
 CircleCI Job
Source Files on build 87cdd784-d6d5-489d-884b-18fef662b312