Merge pull request #1682 from goblint/memleak-assert · goblint/analyzer@a102624

Triggered via push February 17, 2025 13:53

sim642

master

Status Success

Total duration 5m 9s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.16 MB	`sha256:90dfbe775beba25bc9c18e65fc5d9ab6a27a2dc2dbc98dc9b9f5f70f265fbaf9`