Leonidas-from-XIV / dune / 183
7%
revdeps-leaf-pkgs: %

LAST BUILD BRANCH: main
DEFAULT BRANCH: revdeps-leaf-pkgs
Ran
Jobs 1
Files 442
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: 6.966% (-0.02%) from 6.987%
183

push

github

GitHub 
Merge pull request #8588 from Leonidas-from-XIV/dune-build-pform-error

2560 of 36752 relevant lines covered (6.97%)

30993.15 hits per line

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