1612
92%

Ran 25 Oct 2025 01:53PM UTC

Jobs 1

Files 244

Run time 1min

Badge

Committed 25 Oct 2025 01:52PM UTC coverage: 89.866% (-0.05%) from 89.913%

Build # 1612

Build Type

push

github

Committed by

Commit Message

move `op_lt` etc. into `Compare` to allow specialization

Run Details

2 of 8 new or added lines in 2 files covered. (25.0%)

9763 of 10864 relevant lines covered (89.87%)

185367.28 hits per line

Lines	Coverage	∆	File
2	83.33	-6.67%	builtin/traits.mbt
4	87.8	-9.49%	builtin/byte.mbt

ID	Job ID	Ran	Files	Coverage
1	1612.1	25 Oct 2025 01:53PM UTC	245	89.89	GitHub Action Run