1
94%
develop: 94%

Ran 12 Jan 2023 05:23AM UTC

Files 215

Run time 55min

Badge

Committed 12 Jan 2023 05:23AM UTC coverage: 95.118% (-0.2%) from 95.276%

Build Type

push

github-actions

Committed by Matthias

Commit Message

Change CI to actually run one 2 randomized point.

Run Details

16599 of 17451 relevant lines covered (95.12%)

0.95 hits per line