Review and simplify `unrollType` uses · goblint/analyzer@60785ef

Triggered via pull request May 6, 2026 06:44

sim642

synchronize #2019

unrolltype-review

Status Success

Total duration 4m 23s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

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