Add some type unrolling · goblint/analyzer@47c9084

Triggered via push February 21, 2025 16:03

sim642

unrolltype

Status Success

Total duration 4m 49s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.17 MB	`sha256:71e745ac3f3fd991c3d8c15782fba15e44e7bb9df83a52661e71ca968aee35b6`