1
95%
develop: 95%

Ran 07 Jan 2025 02:17PM UTC

Files 506

Run time 11s

Badge

Embed ▾

Committed 07 Jan 2025 01:53PM UTC coverage: 94.149% (+0.2%) from 93.988%

Job # 12652880822.1

Build Type

push

github

Committed by

web-flow

Commit Message

Update dependencies (#139)

* adjust to AutomataLib refactorings

* bump basic depdency versions

* bump checkstyle + cleanups

* bump spotbugs + cleanups

* bump pmd + cleanups

* bump checkerframework + cleanups

* fix wrong simplification

* improve comments

* cleanups

* do not fail on javadoc warnings

completness of documentation is now checked by checkstyle and we would have to disable failing anyways when moving on to JDK 17

Run Details

11795 of 12528 relevant lines covered (94.15%)

1.7 hits per line

LearnLib / learnlib / 12652880822 / 1
95%
develop: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 12652880822.1

LearnLib / learnlib / 12652880822 / 1 95% develop: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 12652880822.1

LearnLib / learnlib / 12652880822 / 1
95%
develop: 95%

README BADGES
x