Merge pull request #2026 from goblint/issue-2025 · goblint/analyzer@63a8c09

Triggered via push May 11, 2026 07:30

sim642

master

Status Success

Total duration 16m 19s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest	3.01 MB	`sha256:d9f4a4ca5abf8efd9037b8dd9ab29268079d290bf00a9e4b28ac65973470ee59`
suite_result-ubuntu-latest	3.04 MB	`sha256:41b118fc3c8ac629116320ca20919bc31732776c000cf098631288cc2bf0a753`