16642959824
100%

Ran 31 Jul 2025 07:39AM UTC

Jobs 1

Files 3

Run time 1min

Badge

Committed 31 Jul 2025 07:39AM UTC coverage: 100.0% (+0.7%) from 99.301%

Build Type

push

github

Committed by

Commit Message

Fix a subtle timing issue.

Run Details

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

143 of 143 relevant lines covered (100.0%)

1.14 hits per line

ID	Job ID	Ran	Files	Coverage
1	16642959824.1	31 Jul 2025 07:39AM UTC	3	100.0	GitHub Action Run