synapsecns / sanguine / 2963039242
56%
master: 51%

LAST BUILD BRANCH: gh-pages-archive
DEFAULT BRANCH: master
Ran
Jobs 1
Files 104
Run time 3s
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: 56.26% (+20.7%) from 35.572%
2963039242

Pull #154

github

ChiTimesChi 
feat: proof generation
Pull Request #154: Proof generation in tests

3231 of 5743 relevant lines covered (56.26%)

0.6 hits per line

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