chrjabs / rustsat / 15972952939
61%
main: 61%

LAST BUILD BRANCH: renovate/tempfile-3.x
DEFAULT BRANCH: main
Ran
Jobs 1
Files 81
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: 60.573%. Remained the same
15972952939

Pull #419

github

web-flow 
Merge 1d0b408b9 into 1a3f8f4ba
Pull Request #419: Kissat version 4.0.3

14185 of 23418 relevant lines covered (60.57%)

47577.64 hits per line

Jobs
ID Job ID Ran Files Coverage
1 15972952939.1 81
60.57
 GitHub Action Run
Source Files on build 15972952939