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

Triggered via pull request September 17, 2025 10:06

karoliineh

synchronize #16

readme-update

Status Success

Total duration 1m 15s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

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