18187891646
88%

Ran 02 Oct 2025 08:42AM UTC

Jobs 1

Files 193

Run time 1min

Badge

Committed 02 Oct 2025 08:31AM UTC coverage: 91.08% (+0.1%) from 90.956%

Build Type

push

github

Committed by

Commit Message

Improve: more fine-grained upcast of user fn to avoid boxing twice

Run Details

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

11201 of 12298 relevant lines covered (91.08%)

88734.67 hits per line

ID	Job ID	Ran	Files	Coverage
1	18187891646.1	02 Oct 2025 08:42AM UTC	193	91.08	GitHub Action Run