1
93%
develop: 93%

Ran 30 Jun 2021 05:54PM UTC

Files 617

Run time 9min

Badge

Embed ▾

Committed 30 Jun 2021 05:54PM UTC coverage: 84.084%. Remained the same

Job # 987223861.1

Build Type

push

github

Committed by GitHub

Commit Message

Switch CI to GitHub Actions (#45)

* initial try at github actions

* use correct ltsmin repo

* fix dependencies

* update README

* update stage names

* updates and cleanups

* test different coveralls build number

* only deploy on develop branch

* debug ltsmin installation/coverage

* more ltsmin debug

* check complete pipeline

* use jdk specific caches

* use correct badge links

Run Details

12542 of 14916 relevant lines covered (84.08%)

1.53 hits per line

LearnLib / automatalib / 987223861 / 1
93%
develop: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 987223861.1

LearnLib / automatalib / 987223861 / 1 93% develop: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 987223861.1

LearnLib / automatalib / 987223861 / 1
93%
develop: 93%

README BADGES
x