3958
66%

Ran 13 Dec 2025 03:11AM UTC

Jobs 1

Files 313

Run time 1min

Badge

Embed ▾

Committed 13 Dec 2025 02:38AM UTC coverage: 65.41% (-0.04%) from 65.446%

Build # 3958

Build Type

push

github

Committed by

web-flow

Commit Message

Bump actions/upload-artifact from 5 to 6 (#1901)

Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 5 to 6.
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](https://github.com/actions/upload-artifact/compare/v5...v6)

---
updated-dependencies:
- dependency-name: actions/upload-artifact
  dependency-version: '6'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Run Details

22579 of 34519 relevant lines covered (65.41%)

403952.41 hits per line

Uncovered Existing Lines

Lines	Coverage	∆	File
5	79.17	-0.31%	src/cdomain/value/cdomains/addressDomain.ml
6	20.0	-2.22%	src/framework/analysisResultOutput.ml
27	89.35	0.1%	src/cdomain/value/cdomains/int/intDomTuple.ml
53	77.72	0.08%	src/analyses/baseInvariant.ml
61	76.7	0.17%	src/cdomain/value/cdomains/intDomain0.ml
67	72.81	-0.91%	src/analyses/memOutOfBounds.ml
176	66.06	-0.47%	src/cdomain/value/cdomains/arrayDomain.ml
272	81.39	0.14%	src/analyses/base.ml

Jobs

ID	Job ID	Ran	Files	Coverage
1	3958.1	13 Dec 2025 03:11AM UTC	313	65.41	GitHub Action Run

goblint / analyzer / 3958
66%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 3958

goblint / analyzer / 3958 66%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 3958

goblint / analyzer / 3958
66%

README BADGES
x