1
94%
main: 94%

Ran 13 Sep 2022 10:39AM UTC

Files 186

Run time 7s

Badge

Committed 13 Sep 2022 10:39AM UTC coverage: 94.816% (+0.05%) from 94.769%

Build Type

push

github

Committed by Niklas Stich

Commit Message

Introduce Id to LearningWorld and change DeleteLearningWorld command to use the LearningWorld directly

Run Details

1226 of 1380 branches covered (88.84%)

Branch coverage included in aggregate %.

5029 of 5217 relevant lines covered (96.4%)

18.92 hits per line