Merge branch 'master' into issue-1722 · goblint/analyzer@4d8781a

Triggered via push October 9, 2025 13:49

sim642

issue-1722

Status Success

Total duration 27m 58s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.96 MB	`sha256:0dfb32621d982b18c6b4cd3cafbb348433b10746ce49ce15a20738d2d929d53d`
suite_result-ubuntu-22.04 Expired	2.98 MB	`sha256:0bdd8fd66146b8991149529a616d52d8cfd4dc7b2cdd21020c7ca28193009966`