14995711261
96%

Ran 13 May 2025 12:18PM UTC

Jobs 1

Files 213

Run time 1min

Badge

Committed 13 May 2025 11:42AM UTC coverage: 96.018% (+0.05%) from 95.966%

Build Type

push

github

Committed by

Commit Message

now use user-defined immutable record type as map key. close #541

Run Details

10 of 11 new or added lines in 2 files covered. (90.91%)

37230 of 38774 relevant lines covered (96.02%)

1260576.87 hits per line

Lines	Coverage	∆	File
1	96.41	5.83%	src/ordered_map.cpp

ID	Job ID	Ran	Files	Coverage
1	14995711261.1	13 May 2025 12:18PM UTC	213	96.02	GitHub Action Run