Merge pull request #1955 from goblint/issue_1934-str-not-an-address · goblint/analyzer@c8b5380

Triggered via push March 9, 2026 08:08

sim642

master

Status Success

Total duration 12m 33s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime