1
84%
master: 85%

Ran 18 Nov 2021 01:55AM UTC

Files 145

Run time 30s

Badge

Committed 18 Nov 2021 01:55AM UTC coverage: 83.772% (+0.01%) from 83.761%

Build Type

push

github-actions

Committed by GitHub

Commit Message

GatingMechanism: properly set gating_allocation as value alias (#2191)

Run Details

9961 of 12703 branches covered (78.41%)

Branch coverage included in aggregate %.

26635 of 30982 relevant lines covered (85.97%)

0.86 hits per line