chrjabs / rustsat / 20953542923 / 1
61%
main: 61%

LAST BUILD BRANCH: push-myroyvpuuwmv
DEFAULT BRANCH: main
Ran
Files 269
Run time 12s
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: 22.131%. Remained the same
20953542923.1

Pull #554

github

web-flow 
Merge 53c85ccd7 into 43d8e7a0b
Pull Request #554: CaDiCaL version 2.2.1

17330 of 78305 relevant lines covered (22.13%)

37605.54 hits per line

Source Files on job 20953542923.1