1
70%
main: 70%

Ran 28 Oct 2024 06:34PM UTC

Files 315

Run time 13s

Badge

Committed 28 Oct 2024 06:31PM UTC coverage: 66.705% (-0.04%) from 66.746%

Build Type

push

github

Committed by

Commit Message

#710: make workspace configuration robust (#719)

Run Details

2406 of 3950 branches covered (60.91%)

Branch coverage included in aggregate %.

6275 of 9064 relevant lines covered (69.23%)

3.05 hits per line