4126
66%

Ran 28 Jan 2026 03:32AM UTC

Jobs 1

Files 316

Run time 1min

Badge

Embed ▾

Committed 26 Jan 2026 07:29AM UTC coverage: 65.523%. Remained the same

Build # 4126

Build Type

push

github

Committed by

web-flow

Commit Message

Fix typos in comments and string literals (#1924)

* Initial plan

* Fix typos in variable names and comments

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

* Complete typo audit and fixes

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

* Fix additional typos: supress→suppress, seting→setting

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

* Remove _codeql_detected_source_root and add to .gitignore

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

* Remove _codeql_detected_source_root from .gitignore

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>

Run Details

22716 of 34669 relevant lines covered (65.52%)

403017.89 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	4126.1	28 Jan 2026 03:32AM UTC	316	65.52	GitHub Action Run

goblint / analyzer / 4126
66%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 4126

goblint / analyzer / 4126 66%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 4126

goblint / analyzer / 4126
66%

README BADGES
x