LearnLib / learnlib / 15186410912
95%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 524
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: 94.368%. Remained the same
15186410912

push

github

web-flow 
Bump minimal Java version to 11 (#150)

* initial refactoring

* more aggressive cleanups

at the cost of checkerframework failing

* typo

25 of 25 new or added lines in 15 files covered. (100.0%)

12483 of 13228 relevant lines covered (94.37%)

1.72 hits per line

Jobs
ID Job ID Ran Files Coverage
1 15186410912.1 524
94.37
Source Files on build 15186410912