Merge pull request #1720 from goblint/issue_1719 · goblint/analyzer@4e30a22

Triggered via push March 27, 2025 08:34

master

Status Success

Total duration 4m 34s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.27 MB	`sha256:c2c42de25cdfe64d21ca46174df82cb55f2b42ac16c3ff02d72523cff2ef39c6`