1444
77%
main: 77%

Ran 30 Oct 2026 08:20AM UTC

Jobs 1

Files 183

Run time 1min

Badge

Committed 30 Oct 2026 08:17AM UTC coverage: 77.106% (+0.03%) from 77.078%

Build # 1444

Build Type

github

Committed by

Commit Message

Merge 39ef9a6fd into 6d94e13ff

Coverage Stats

0 of 4 new or added lines in 1 file covered. (0.0%)

4247 of 5508 relevant lines covered (77.11%)

10043.25 hits per line

Lines	Coverage	∆	File
4	0.0	0.0%	test_programs/lock_file/main.mbt

ID	Job ID	Ran	Files	Coverage
1	1444.1	30 Oct 2026 08:20AM UTC	183	77.11	GitHub Action Run