4103
66%

Ran 21 Jan 2026 03:29AM UTC

Jobs 1

Files 316

Run time 1min

Badge

Embed ▾

Committed 20 Jan 2026 08:43AM UTC coverage: 65.547%. Remained the same

Build # 4103

Build Type

push

github

Committed by

web-flow

Commit Message

Skip locked/coverage CI jobs on docs-only changes (#1918)

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>

Run Details

22695 of 34624 relevant lines covered (65.55%)

403949.33 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	4103.1	21 Jan 2026 03:29AM UTC	316	65.55	GitHub Action Run

goblint / analyzer / 4103
66%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 4103

goblint / analyzer / 4103 66%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 4103

goblint / analyzer / 4103
66%

README BADGES
x