11
100%
master: 100%

Ran 18 Jun 2022 06:42AM UTC

Files 5

Run time 2s

Badge

Committed 18 Jun 2022 06:40AM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by John Haugeland

Commit Message

more trivial docs for build triggers

Run Details

301 of 301 branches covered (100.0%)

Branch coverage included in aggregate %.

492 of 492 relevant lines covered (100.0%)

3263.03 hits per line