1
66%
master: 66%

Ran 21 Jan 2026 03:29AM UTC

Files 316

Run time 6s

Badge

Embed ▾

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

Job # 4103.1

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

goblint / analyzer / 4103 / 1
66%
master: 66%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4103.1

goblint / analyzer / 4103 / 1 66% master: 66%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4103.1

goblint / analyzer / 4103 / 1
66%
master: 66%

README BADGES
x