Merge pull request #1187 from goblint/issue_843 · goblint/analyzer@5f4f94b

Triggered via push November 2, 2023 09:08

master

Status Success

Total duration 39m 36s

Artifacts 1

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size
suite_result Expired	6.58 MB