25503538746
100%
master: 100%

Ran 07 May 2026 02:55PM UTC

Jobs 1

Files 61

Run time 1min

Badge

Committed 07 May 2026 02:53PM UTC coverage: 99.966%. Remained the same

Build Type

push

github

Committed by

Commit Message

Fix to_json_representation_fast to not rely on second-chance externalization; add a sorted variant; add some type annotations; improve docs.

Coverage Stats

16 of 16 new or added lines in 2 files covered. (100.0%)

5809 of 5811 relevant lines covered (99.97%)

3.98 hits per line

ID	Job ID	Ran	Files	Coverage
1	25503538746.1	07 May 2026 02:55PM UTC	61	99.97	GitHub Action Run