4358
65%

Ran 18 Apr 2026 02:29AM UTC

Jobs 1

Files 317

Run time 1min

Badge

Embed ▾

Committed 17 Apr 2026 12:14PM UTC coverage: 65.495%. Remained the same

Build # 4358

Build Type

push

github

Committed by

web-flow

Commit Message

Use TRMC for `GobList.combine_short` (#1991)

* Initial plan

* Use OCaml 4.14 features: TRMC, In_channel, Out_channel, Seq.uncons

Agent-Logs-Url: https://github.com/goblint/analyzer/sessions/c1370c59-ec35-42df-b0d5-d48a7f47e2f2

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Revert changes except TRMC in GobList.combine_short

Agent-Logs-Url: https://github.com/goblint/analyzer/sessions/19d5a26d-4bb3-490a-addf-667982fae219

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

Coverage Stats

1 of 1 new or added line in 1 file covered. (100.0%)

22679 of 34627 relevant lines covered (65.5%)

400006.16 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	4358.1	18 Apr 2026 02:29AM UTC	317	65.5	GitHub Action Run

goblint / analyzer / 4358
65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 4358

goblint / analyzer / 4358 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 4358

goblint / analyzer / 4358
65%

README BADGES
x