Add missing type unrollings · goblint/analyzer@0c20c66

Triggered via pull request February 21, 2025 08:31

sim642

synchronize #1677

unrolltype

Status Success

Total duration 4m 44s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.17 MB	`sha256:8a58137ef9a028969b505651f1a20991600201fc89c8d62a07340259e52a16a4`