Extract configuration to goblint_config dune library · goblint/analyzer@54d7fdf

Triggered via push December 6, 2023 15:08

sim642

goblint-dune-libs-2

Status Failure

Total duration 38m 31s

Artifacts 1

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
suite_result Expired	6.62 MB