Merge branch 'master' into svcomp25-dev · goblint/analyzer@5512d83

Triggered via push November 26, 2024 12:38

sim642

svcomp25

Status Failure

Total duration 8m 31s

Artifacts 1

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

1 error and 1 warning

Process completed with exit code 10.

No files were found with the provided path: _build/default/tests/suite_result/. No artifacts will be uploaded.

Produced during runtime

Name	Size
suite_result-ubuntu-22.04	2.68 MB