TritonVM / triton-vm / 11143610112
98%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 54
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: 98.416% (+0.004%) from 98.412%
11143610112

push

github

jan-ferdinand 
refactor(proof): Avoid allocation in helper method

changelog: ignore

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

2 existing lines in 1 file now uncovered.

23987 of 24373 relevant lines covered (98.42%)

6285703.59 hits per line

Jobs
ID Job ID Ran Files Coverage
1 11143610112.1 0
98.42
 GitHub Action Run
Source Files on build 11143610112
Detailed source file information is not available for this build.