Add CHANGELOG for v2.5.0 · goblint/analyzer@6498145

Triggered via push November 18, 2024 12:08

sim642

svcomp25-dev

Status Failure

Total duration 8m 18s

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.69 MB