Explain why if is needed and what is checked · goblint/analyzer@7f60099

Triggered via push January 17, 2025 12:31

issue_1467

Status Success

Total duration 4m 37s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.12 MB	`sha256:1862a3234adbf76e597d91449e738c1ae9ca9a2e3600e083c3beb8e1274cf642`