Fix offset handling when adding 0 to field offsets · goblint/analyzer@d2840fb

Triggered via push January 30, 2025 16:47

karoliineh

issue-1421

Status Success

Total duration 4m 44s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size
github-pages Expired	2.11 MB