1
95%
develop: 95%

Ran 30 Jun 2021 08:25PM UTC

Files 406

Run time 1min

Badge

Embed ▾

Committed 30 Jun 2021 08:25PM UTC coverage: 76.521% (-14.4%) from 90.933%

Job # 987616924.1

Build Type

push

github

Committed by GitHub

Commit Message

Switch CI to GitHub Actions (#79)

* test initial GitHub Actions config

* ci: explicitly use 'develop' branch

* ci: build AutomataLib in batch-mode

* ci: remove explicit branch

* ci: remove old travis configs

* ci: skip tests on deploy

Run Details

8001 of 10456 relevant lines covered (76.52%)

1.35 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 987616924.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 987616924.1

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

README BADGES
x