Merge pull request #1281 from goblint/remove_file_and_spec · goblint/analyzer@9023dc8

Triggered via push December 5, 2023 14:23

master

Status Success

Total duration 30m 47s

Artifacts 1

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size
suite_result Expired	6.6 MB