Add `context_to_yojson` in messages · goblint/analyzer@5f1e272

Triggered via pull request February 15, 2024 11:30

karoliineh

opened #1365

Status Success

Total duration 10m 55s

Artifacts 1

coverage.yml

on: pull_request

Matrix: coverage

Produced during runtime

Name	Size
suite_result Expired	3.64 MB