18245161934
98%
main: 98%

Ran 04 Oct 2025 02:10PM UTC

Jobs 1

Files 56

Run time 1min

Badge

Committed 04 Oct 2025 01:48PM UTC coverage: 98.112% (+0.005%) from 98.107%

Build Type

push

github

Committed by

Commit Message

fix: pretty type-printing correctly detects destructors

Run Details

6 of 6 new or added lines in 1 file covered. (100.0%)

2442 of 2489 relevant lines covered (98.11%)

12575.79 hits per line

ID	Job ID	Ran	Files	Coverage
1	18245161934.1	04 Oct 2025 02:10PM UTC	56	98.11	GitHub Action Run