1235
77%

Ran 22 Sep 2026 06:26AM UTC

Jobs 1

Files 182

Run time 1min

Badge

Committed 22 Sep 2026 06:22AM UTC coverage: 78.437% (+0.2%) from 78.226%

Build # 1235

Build Type

push

github

Committed by

Commit Message

fix memory leak caused by cancelled waiter in various data structures

Coverage Stats

60 of 60 new or added lines in 3 files covered. (100.0%)

1 existing line in 1 file now uncovered.

4325 of 5514 relevant lines covered (78.44%)

10978.42 hits per line

Lines	Coverage	∆	File
1	95.77	-0.89%	src/aqueue/aqueue.mbt

ID	Job ID	Ran	Files	Coverage
1	1235.1	22 Sep 2026 06:26AM UTC	182	78.44	GitHub Action Run