Add Mopsa checks JSON output for dashboard · goblint/analyzer@3266e4d

Triggered via pull request December 12, 2025 10:52

sim642

synchronize #1838

Robotechnic:checks

Status Success

Total duration 4m 31s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.5 MB	`sha256:8dbee0f5e7a467dc79384ecda06298079b96685346c7a976b7fa806d8664031d`