• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

LearnLib / learnlib
95%

Build:
DEFAULT BRANCH: develop
Repo Added 15 Sep 2017 02:18PM UTC
Files 585
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

LAST BUILD ON BRANCH develop
branch: SELECT
CHANGE BRANCH
x
  • No branch selected
  • dependabot/maven/ch.qos.logback-logback-core-1.2.9
  • dependabot/maven/ch.qos.logback-logback-core-1.5.13
  • dependabot/maven/ch.qos.logback-logback-core-1.5.19
  • dependabot/maven/ch.qos.logback-logback-core-1.5.25
  • dependabot/maven/ch.qos.logback-logback-core-1.5.33
  • dependabot/maven/ch.qos.logback-logback-core-1.5.35
  • dependabot/maven/org.testng-testng-7.5.1
  • develop
  • feat/lsharp
  • growing-sparse
  • java11
  • java25
  • kway
  • lambda-resume
  • learning-algorithm-contracts
  • local_timer_mealy
  • master
  • reactive
  • refs/tags/learnlib-0.17.0
  • refs/tags/learnlib-0.18.0
  • release
  • sparse
  • stable-hypotheses
  • update-dependencies

30 Jul 2026 07:37PM UTC coverage: 95.334% (+0.01%) from 95.321%
30575669763

push

github

mtf90
bump dependencies

including adjustements required by code analysis plugins

47 of 47 new or added lines in 8 files covered. (100.0%)

14914 of 15644 relevant lines covered (95.33%)

1.74 hits per line

Relevant lines Covered
Build:
Build:
15644 RELEVANT LINES 14914 COVERED LINES
1.74 HITS PER LINE
Source Files on develop
  • Tree
  • List 585
  • Changed 12
  • Source Changed 11
  • Coverage Changed 9
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
30575669763 develop bump dependencies including adjustements required by code analysis plugins push 30 Jul 2026 08:01PM UTC mtf90 github
95.33
29938144974 develop adjust to AutomataLib refacotrings push 22 Jul 2026 04:49PM UTC mtf90 github
95.32
29811515977 develop examples: remove redundant SupressWarnings push 21 Jul 2026 08:04AM UTC mtf90 github
95.33
29596832013 develop experiment: only require collection of inputs push 17 Jul 2026 04:57PM UTC mtf90 github
97.45
29577503301 develop aaar: make learner wrapper publicly available push 17 Jul 2026 11:58AM UTC mtf90 github
95.34
29356092790 develop update javadoc config do not autoDetect links push 14 Jul 2026 06:21PM UTC mtf90 github
95.34
29342576138 reactive Merge 5930dc17a into e7aa897db Pull #165 14 Jul 2026 03:27PM UTC web-flow github
95.32
29331912340 develop Bump ch.qos.logback:logback-core from 1.5.33 to 1.5.35 (#164) Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.33 to 1.5.35. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.c... push 14 Jul 2026 12:54PM UTC web-flow github
95.27
29163491345 dependabot/maven/ch.qos.logback-logback-core-1.5.35 Bump ch.qos.logback:logback-core from 1.5.33 to 1.5.35 Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.33 to 1.5.35. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.com/qos-... Pull #164 11 Jul 2026 06:54PM UTC web-flow github
95.27
29163492763 dependabot/maven/ch.qos.logback-logback-core-1.5.35 Merge 6f1ebbd70 into 1cc3cbb8e Pull #164 11 Jul 2026 06:51PM UTC web-flow github
95.27
See All Builds (343)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE TRIAL · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc