10
100%
master: 100%

Ran 17 Jun 2022 01:10PM UTC

Files 5

Run time 25s

Badge

Committed 17 Jun 2022 01:09PM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by John Haugeland

Commit Message

facile build to trigger an external push

Coverage Stats

301 of 301 branches covered (100.0%)

Branch coverage included in aggregate %.

492 of 492 relevant lines covered (100.0%)

3262.61 hits per line