Restructure ReadMe and complete the "quick start" steps · sws-lab/sv-comp-witness-vscode@b893166

Triggered via push September 17, 2025 10:04

karoliineh

readme-update

Status Success

Total duration 1m 13s

Artifacts 1

build.yml

on: push

Produced during runtime

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