Merge branch 'master' into affineeq-refine · goblint/analyzer@beece1d

Triggered via push December 19, 2024 10:23

affineeq-refine

Status Failure

Total duration 9m 45s

Artifacts –

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

3 errors and 2 warnings

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

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

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