Update readme (#16) · sws-lab/sv-comp-witness-vscode@8631261

Triggered via push September 17, 2025 10:10

karoliineh

industry-grade

Status Success

Total duration 1m 10s

Artifacts 1

build.yml

on: push

Produced during runtime

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