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

Triggered via push September 30, 2025 17:56

Yleroimar

industry-grade

Status Success

Total duration 1m 30s

Artifacts 1

build.yml

on: push

Produced during runtime

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