Add some type unrolling · goblint/analyzer@47c9084

Triggered via push February 21, 2025 16:03

sim642

unrolltype

Status Success

Total duration 22m 0s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.81 MB	`sha256:77358b18ea0cabbf04d3482f34dcdd6a8d5a3b4cd1889787bffc4c8fc85e4674`
suite_result-ubuntu-22.04 Expired	2.79 MB	`sha256:8e58087389a60149333da17418c147ea5e98172768c89c7d1e379890da1db5a8`