Add missing type unrollings · goblint/analyzer@6101935

Triggered via pull request February 24, 2025 16:49

sim642

synchronize #1677

unrolltype

Status Success

Total duration 39m 57s

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:27fa04026d44dc50046181e016c002e4e90b9dc90e005c7c67c8468aace29584`
suite_result-ubuntu-22.04 Expired	2.8 MB	`sha256:020d21beeec05bb036d350c5d570a38437f4647607fe22925fdbe8e44db0a302`