Violation witness feasibility analysis using `Witch` · goblint/analyzer@cc3768d

Triggered via pull request December 2, 2025 14:08

sim642

synchronize #1882

violation_witnesses

Status Success

Total duration 4m 36s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

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