Add TODOs about preserving attributes for TNamed unrolling to ValueDo… · goblint/analyzer@60785ef

Triggered via push May 6, 2026 06:44

sim642

unrolltype-review

Status Success

Total duration 4m 35s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.5 MB	`sha256:336377a58a30c3a622ba6ac394f6ccf8e52b79ceadf380fdf1d4036242d8898e`