INRIA / spoon / #15515
87%
master: 87%

LAST BUILD BRANCH: renovate/junit-framework-monorepo
DEFAULT BRANCH: master
Ran
Jobs 1
Files 714
Run time 3min
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: 87.491%. Remained the same
#15515

Pull #6173

github

web-flow 
Merge e0a6fd97c into ce5be107b
Pull Request #6173: refactor: Resolving unchecked-cast warnings in ContractVerifier

30090 of 34392 relevant lines covered (87.49%)

0.87 hits per line

Jobs
ID Job ID Ran Files Coverage
1 #15515.1 714
87.49
Source Files on build #15515