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

Triggered via pull request September 17, 2025 10:05

karoliineh

synchronize #16

readme-update

Status Success

Total duration 1m 11s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

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