Add missing type unrollings · goblint/analyzer@970abfe

Triggered via pull request February 21, 2025 16:04

sim642

synchronize #1677

unrolltype

Status Success

Total duration 25m 54s

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:3ef501b1054d302c5bb272986117a66195803914d298491e62002aa53b52d2eb`
suite_result-ubuntu-22.04 Expired	2.8 MB	`sha256:801e42a0dab7b180713fcd993d2d89bc536c1ccfe75aadcf27b85bd5293d4719`