Update readme · sws-lab/sv-comp-witness-vscode@b893166

Triggered via pull request September 17, 2025 10:04

karoliineh

synchronize #16

readme-update

Status Success

Total duration 1m 21s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

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