Merge pull request #1885 from goblint/svcomp-conf-explicit-malloc-fail · goblint/analyzer@c286cce

Triggered via push December 1, 2025 10:41

sim642

master

Status Success

Total duration 4m 31s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.5 MB	`sha256:bfedc58c1e374f6f83b7f304283f38d505ddd95c577a44774c4bfc8796f84459`