1
95%
develop: 95%

Ran 28 Oct 2023 12:55AM UTC

Files 497

Run time 10s

Badge

Embed ▾

Committed 28 Oct 2023 12:17AM UTC coverage: 93.327% (+1.3%) from 91.986%

Job # 6673521261.1

Build Type

push

github

Committed by

mtf90

Commit Message

use property-based profile activation

the <activeByDefault> activation gets disabled as soon as any other profile is selected. Therefore, use the previous property-based activation as we only need the profile encapsulation to disable it during releases.

Run Details

11734 of 12573 relevant lines covered (93.33%)

1.69 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6673521261.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6673521261.1

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

README BADGES
x