Remove deleted tests from mvn build exclusion · sws-lab/sv-comp-witness-vscode@7fe73c0

Triggered via push September 8, 2025 17:39

karoliineh

industry-grade

Status Success

Total duration 1m 14s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
wiivi-plugin Expired	22.2 MB	`sha256:37b74336f6cbbbf022db6049d38161fa280b1dde5f724476a7f83b8cc4677c09`