19399372192
91%

Ran 16 Nov 2025 03:02AM UTC

Jobs 1

Files 2

Run time 1min

Badge

Committed 16 Nov 2025 02:59AM UTC coverage: 85.095%. Remained the same

Build Type

push

github

Committed by

Commit Message

Formally specify the as_string routine API

Coverage Stats

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

628 of 738 relevant lines covered (85.09%)

28.14 hits per line

ID	Job ID	Ran	Files	Coverage
1	19399372192.1	16 Nov 2025 03:02AM UTC	2	85.09	GitHub Action Run