4125
66%

Ran 27 Jan 2026 03:35AM UTC

Jobs 1

Files 316

Run time 1min

Badge

Embed ▾

Committed 26 Jan 2026 07:29AM UTC coverage: 65.523% (-0.02%) from 65.542%

Build # 4125

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

Uncovered Existing Lines

Lines	Coverage	∆	File
1	83.33	-4.17%	src/cdomain/value/cdomains/mval.ml
1	79.87	-0.63%	src/cdomain/value/cdomains/threadIdDomain.ml
1	61.03	-0.37%	src/domain/lattice.ml
2	80.85	-1.42%	src/cdomain/value/cdomains/offset.ml
4	90.16	-4.57%	src/analyses/creationLockset.ml

Jobs

ID	Job ID	Ran	Files	Coverage
1	4125.1	27 Jan 2026 03:35AM UTC	316	65.52	GitHub Action Run

goblint / analyzer / 4125
66%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 4125

goblint / analyzer / 4125 66%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 4125

goblint / analyzer / 4125
66%

README BADGES
x