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 22m 19s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.7 MB	`sha256:556a0bc6d1780bddafcd88a7666590db4191a021b77df72038acce69962a855a`
suite_result-ubuntu-22.04 Expired	2.68 MB	`sha256:1386a06a701b43f65e72f257c0ef2ea706a04deba8a007a56e3056a27840fd88`