Merge branch 'master' into issue-1192 · goblint/analyzer@0ad7f6f

Triggered via push February 14, 2024 10:15

karoliineh

issue-1192

Status Success

Total duration 29m 51s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size
suite_result-macos-latest Expired	2.42 MB
suite_result-ubuntu-latest Expired	2.41 MB