9
100%
master: 100%

Ran 18 Jun 2022 06:20AM UTC

Files 5

Run time 3s

Badge

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

Build Type

push

github

Committed by John Haugeland

Commit Message

Trigger another build through specious doc updates

Run Details

301 of 301 branches covered (100.0%)

Branch coverage included in aggregate %.

492 of 492 relevant lines covered (100.0%)

3262.73 hits per line