Fix c2po witness invariant generation · goblint/analyzer@f523670

Triggered via push November 7, 2025 15:37

sim642

c2po-invariant

Status Success

Total duration 4m 35s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

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