Add missing type unrollings · goblint/analyzer@8aeaff2

Triggered via pull request February 21, 2025 08:06

sim642

synchronize #1677

unrolltype

Status Success

Total duration 21m 17s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.82 MB	`sha256:a8defb9cf77ed7c65ebb68f1b718c7203c63bf78c5ddc8fd806e0bdb3f91c72c`
suite_result-ubuntu-22.04 Expired	2.8 MB	`sha256:75dc2628711c8f79c4ff666be6f66e4d2e6bf5b0015f1064fd9923dfb4fa9501`