Promote _goblint_check _Bool casts in loop unrolling tests · goblint/analyzer@9a4c0f9

Triggered via push February 17, 2025 12:36

sim642

assert-ptr

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.16 MB	`sha256:eabd02394aad1deb9f20dbc582b625bb68d7194114455531171f3fda66cc77f8`