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

Triggered via push September 30, 2025 17:54

Yleroimar

industry-grade-try

Status Success

Total duration 1m 51s

Artifacts 1

build.yml

on: push

Produced during runtime

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